gmp.texi