Multiplying a positive integer by two

