mirror://gnu/gmp/gmp-4.2.2.tar.bz2 doc? ( http://gmplib.org/gmp-man-4.2.2.pdf )
