An implementation of bignums, for my own enlightenment.