Paul.Zimmermann at loria.fr
Tue Dec 15 14:37:34 CET 2009
> This was fixed a while ago:
> Please try the patch.
thanks, this indeed fixes the problem (I had checked on gmplib.org for
"Current release status" but no issue was reported for 4.3.1, should we
look at another place for known issues?)
PS: the documentation of mpf_get_d says that for "too big" input an infinity
is returned. It would be more coherent with the "truncating" mode to return
the largest representable floating-point number (or its opposite).
More information about the gmp-bugs