float64_to_float32
#define float64_to_float32 _softfloat_float64_to_float32
#define float64_to_float32 _softfloat_float64_to_float32
float32 float64_to_float32( float64 a )
float32 float64_to_float32( float64 a )
#define float64_to_float32 __truncdfsf2
float32 float64_to_float32( float64 a )