The behaviour you observe is not the one we intend, and indeed I cannot reproduce it with GMP 5.0.1. I have no guess about why it does not work for you. The test suite tests for negative exponents, and you say you've run the test suite. -- Torbjörn