Hmm, the license (LGPL) should only matter for the Windows binaries
and we can just compile without --enable-big-digits=gmp.

Even *if* the Windows binaries were built with gmp support, it would
be sufficient for any redistributor to point to the external library
sources for gmp that the build has actually used -- your own code
does not automatically become LGPL licensed and you are under no
obligation to reveal it.


I haven't looked at the patch in detail, but I don't have any
fundamental objection against adding a configure option, provided
that the additional code is well isolated (which seems to be the
case).

Of course we'd have to set up buildbots for the option etc...