Symbol: floatx80_to_int32_round_to_zero