Add to documentation and fix bugs in arbitrary precision arithmetic