mpz_init2 2091 maint/gnulib/lib/mini-gmp.c mpz_init2 (t, (un + vn) * GMP_LIMB_BITS); mpz_init2 2252 maint/gnulib/lib/mini-gmp.c mpz_init2 (tq, qn * GMP_LIMB_BITS); mpz_init2 127 maint/gnulib/lib/mini-gmp.h void mpz_init2 (mpz_t, mp_bitcnt_t);