Update randint.py