7 Feb
2003
7 Feb
'03
5:50 p.m.
The correct solution is probably to load Gmp.bignum when it's needed. I tried to make such a solution, but I couldn't see how without adding overhead to the bignum creation callbacks.