python check if user input is integer