python_casting_float.py: