The function takes a positive integer input and returns the input doubled.

