MPFR version info

[Patrick Pelissier]

> A name that follows a pattern, but is used differently is a
> burden to users.
 Yes, you're right.
 
> Therefore, an extension library should try to
> be as ortagonal with respect to the base library as possible, I
> think.
 Yes, I think also.

> If some package cannot use a function, it is easy enough to write
> some glue code as part of that package.
 Yes, it is common sense.

 Sincerely, 
  Patrick Pelissier