27 Jan
2003
27 Jan
'03
3:20 a.m.
I don't know if this is the Right solution, but I now let convert_stack_top_to_bignum load Gmp if it's needed.