Symbol: float128_round_to_int