Import of https://gmplib.org/download/gmp/gmp-5.1.3.tar.bz2