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

[Marc Glisse]

On Tue, 13 Mar 2018, Niels Möller wrote:

> I'd still prefer the simpler way of reying on float.h constants,
> though

+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...

-- 
Marc Glisse