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