Int % Int should give Int, not Rat.