float64_to_float32
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
float32 float64_to_float32( float64 );
time_a_float64_z_float32( float64_to_float32 );
float32 float64_to_float32( float64 );
float64_to_float32, syst_float64_to_float32 );
sfc.i = float64_to_float32(tfb.i);
(void) float64_to_float32(tfb.i);
float32 float64_to_float32( float64 );