python_type_float.py: