time_a_float64_z_int32
time_a_float64_z_int32( float64_to_int32 );
time_a_float64_z_int32( float64_to_int32_round_to_zero );