Tag: user input and type casting in python