Update numbthy.py