type conversion and type casting in python