time_a_float128_z_int64
time_a_float128_z_int64( float128_to_int64 );
time_a_float128_z_int64( float128_to_int64_round_to_zero );