float128_to_float32
float32 float128_to_float32( float128 a )
#define float128_to_float32 __trunctfsf2