int32_to_float128
#define int32_to_float128 _softfloat_int32_to_float128
#define int32_to_float128 _softfloat_int32_to_float128
float128 int32_to_float128( int32 a )
#define int32_to_float128 __floatsitf
float128 int32_to_float128( int32 a )