If you suspect that you have found a bug in GMP, please report it to bug-gmp@gnu.org. Please see the GMP manual for details about what information is needed in a good bug report: <http://swox.com/gmp/manual/Reporting-Bugs.html> -- Torbjörn