mpz_get_d() with rounding

[Torbjörn Granlund]

Jeroen Demeyer <jdemeyer at cage.ugent.be> writes:

  Are you willing to make the assumption that doubles have 53 bits of
  precision? If you do, it's easy enough to implement.

We actually do not require IEEE format, although we provide faster code
in that case.

The file doing the bulk of the implementation is mpn/generic/get_d.c.


Torbjörn
Please encrypt, key id 0xC8601622