float32_to_float64
float64 float32_to_float64( float32 ) __dso_protected;
time_a_float32_z_float64( float32_to_float64 );
tfc.i = float32_to_float64(sfb.i);
dest->dbl = float32_to_float64(tmp);
dest->dbl = float32_to_float64(tmp);
raw = float32_to_float64((float32)raw);
float64 float32_to_float64( float32 );