mirror://gnu/gmp/gmp-4.2.1.tar.bz2 doc? ( http://www.swox.se/gmp/gmp-man-4.2.1.pdf )
