No matches were found for subject:"Bug#744302\: mpz_invert yields wrong result"