float64_to_int64_round_to_zero
long long float64_to_int64_round_to_zero( float64 ) __dso_protected;
time_a_float64_z_int64( float64_to_int64_round_to_zero );
raw = float64_to_int64_round_to_zero((float64)raw);
int64_t float64_to_int64_round_to_zero( float64 );