Symbol: div_round_integer