Division by a whole number