Now I got the Gmp.mpz glue working too. Seems like the detection of large integers were broken, but the needed supporting code were still intact. I can't spot anything that doesn't work now, except the testsuite.