Integer division rules