Converting strings to int in user inputs