float64_to_int32_round_to_zero
int float64_to_int32_round_to_zero( float64 ) __dso_protected;
time_a_float64_z_int32( float64_to_int32_round_to_zero );
tmp = float64_to_int32_round_to_zero(src->dbl);
raw = float64_to_int32_round_to_zero((float64)raw);
int float64_to_int32_round_to_zero( float64 );