Multiplying or dividing by an integer