float128_to_float32
#define float128_to_float32 _softfloat_float128_to_float32
#define float128_to_float32 _softfloat_float128_to_float32
float32 float128_to_float32( float128 a )
#define float128_to_float32 __trunctfsf2
float32 float128_to_float32( float128 a )