adds a wrapper for the GNU GMP library