mpf: which bug should we correct? (doc or code)

[Andreas Enge]

On Sun, Jun 01, 2014 at 08:20:19AM +0200, bodrato at mail.dm.unipi.it wrote:
> The manual [ https://gmplib.org/manual/Floating_002dpoint-Functions.html ]
> reads: "Each function is defined to calculate with “infinite
> precision” followed by a truncation to the destination precision".
> 
> Now the problem is: what do we want (and should we test) from mpf functions?

Instead of re-implementing mpfr, an easy fix would be to simply drop mpf
from gmp and refer people to mpfr...

Andreas