float64_to_float128
float128 float64_to_float128( float64 ) __dso_protected;
time_a_float64_z_float128( float64_to_float128 );
float128 float64_to_float128( float64 );