float32_to_float128
float128 float32_to_float128( float32 ) __dso_protected;
time_a_float32_z_float128( float32_to_float128 );
float128 float32_to_float128( float32 );