int64_to_float32
float32 int64_to_float32( long long );
float32 int64_to_float32( long long );
float32 int64_to_float32( long long );
float32 int64_to_float32( long long );
float32 int64_to_float32( !!!int64 );
time_a_int64_z_float32( int64_to_float32 );