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