What version of GMP should we require?

[Mark H Weaver]

Hello all,

I recently noticed that scm_i_big2dbl contains some crufty and
inefficient compatibility code to work around unspecified rounding
behavior of mpz_get_d in GMP prior to version 4.2.  GMP 4.2 was released
in March 2006 and has been in Debian since sarge (now oldstable).

How would you feel about making Guile 2.0.x require GMP 4.2 or later?
I'm hoping to fix several bugs having to do with rounding in 2.0.x, and
it would simplify things quite a bit if I could trust the rounding
behavior of mpz_get_d.

    Best,
     Mark