Please direct questions about mpfr to the mpfr developers. See www.mpfr.org for contact info. -- Torbjörn