Paul Zimmermann writes:
Of course you can add say 100 guard bits, then the probability to get an
incorrect rounding is about 2^-100...
You're joking, but this was sort-of my thinking when designing mpf!
--
Torbjörn
Please encrypt, key id 0xC8601622
Dear Frank,
> If I ever need correct rounding with GMP (I don't ATM), I think
> I could add 0.5e-P, then (like above) multiply by 1eP, convert to
> mpz_t and insert the decimal point manually.
since there is no documented error bound in the mpf computations,
there is no chance that this