it should be noted that this bug was not found by GMP's "make check" (to my best knowledge), but only by MPFR's test suite. Before fixing the bug, it would be nice to fix the GMP test suite. Paul