float32_to_float64
#define float32_to_float64 _softfloat_float32_to_float64
#define float32_to_float64 _softfloat_float32_to_float64
float64 float32_to_float64( float32 a )
float64 float32_to_float64( float32 a )
#define float32_to_float64 __extendsfdf2
float64 float32_to_float64( float32 a )