mini-gmp mpz_{get,set}_d not fully compatible with GMP

[Vincent Lefevre]

On 2018-03-13 17:29:48 +0100, Marc Glisse wrote:
> +1 to that. For mini-gmp, maybe put all the functions using 'double' behind
> some macro or in a separate file so it is easy for a user to remove them,
> and document that they are only supported with a standard float.h header. Or
> just assume that float.h is always available nowadays. Or even assume that
> all double are 64-bit binary IEEE numbers...

I'd also say that <float.h> can be assumed to be available.

If some platform does not have it, then wait for a bug report and
possibly add a fallback, which should be much easier when knowing
the broken platform in question.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)