Symbol: DivideWithRounding