Thanks for the bug report! Your analysis is correct. I checked in a fix, but not before I had improved the test suite to catch it. The fix is available from the GMP repo. -- Torbjörn