Committing the bigdigits.py