float64_to_int32
int float64_to_int32( float64 );
int float64_to_int32( float64 );
int float64_to_int32( float64 );
int float64_to_int32( float64 );
!!!int32 float64_to_int32( float64 );
time_a_float64_z_int32( float64_to_int32 );