Symbol: divround