Symbol: syst_float64_to_float128