Update random.py