libgcj/gmp/mpz
