python_type_int.py: