float64_to_float32
float32 AEABI_FUNC(d2f, float64, 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 );
time_a_float64_z_float32( float64_to_float32 );