int32_to_float128
float128 int32_to_float128( int32 );
float128 int32_to_float128( int32 );
float128 int32_to_float128( int32 );
float128 int32_to_float128( int32 );
float128 int32_to_float128( int32 );
float128 int32_to_float128( int32 );
float128 int32_to_float128( int32 );
*c = int32_to_float128(a);
float128 int32_to_float128( int32 );
float128 int32_to_float128( !!!int32 );
time_a_int32_z_float128( int32_to_float128 );
float128 int32_to_float128( int );
test_a_int32_z_float128( int32_to_float128, syst_int32_to_float128 );
float128 int32_to_float128( int );