type casting and user input