int32_to_float128
float128 int32_to_float128( int ) __dso_protected;
time_a_int32_z_float128( int32_to_float128 );
float128 int32_to_float128( int );