python_casting_int.py: