modified mini-gmp.h to declare mpz_sizeinbase.