Update rand.py