type casting in python beginners