The bignum types Natural and Integer, with efficient algorithms partially derived from GMP and FLINT.