type casting in python example