Update integer.py