Adding more GNU GMP code.