Add a comment to randint.py