[fsloth]

I don't know how Mathematica implements it internally but arbitrary precision arithmetic generally is a well documented subject: http://en.m.wikipedia.org/wiki/Arbitrary-precision_arithmeti...