mpz_bufsize       374 src/bignum.c     return mpz_bufsize (*xbignum_val (num), base);
mpz_bufsize       382 src/bignum.c     ptrdiff_t size = mpz_bufsize (num, 10);