New Issue: Document the BigInteger module better

17738, "lydia-duncan", "Document the BigInteger module better", "2021-05-13T21:31:01Z"

Our documentation of the BigInteger module is very sparse and references GMP a lot in what is there. It should be more independent of GMP and cover all the publicly visible symbols in it.