Update is_int.py