# to read in an integer and double it
# python script.py

user_input = int(input('Type in an integer ')) # converts user input to int
double = user_input * 2 # multiply user input by 2
# print('User input = {}'.format(double))
print('You entered {}: Result doubled = {}'.format(user_input, double))
