Symbol: floatx80_to_int64_round_to_zero