I wrote: > Here are improved versions of the patches needed to enable mini-gmp > integration. I think these are ready to commit. Reviews welcome.
I went ahead and pushed these first 5 patches. However, I've since
realized that these 5 aren't quite enough for mini-gmp integration. One
of the 3 remaining patches is also needed. I hope to get those ready
soon. They lack only tests.
Thanks,
Mark
