Vincent Lefevre <vincent at vinc17.org> writes: On 2009-05-28 13:26:06 +0200, Torbjorn Granlund wrote: > Perhaps you have a patch for GMP doing what's needed? I propose the attached patch. Thanks! It seems to catch relevant errors. -- Torbjörn