mpz_tdiv_q_2exp  2727 lib/mini-gmp.c   mpz_tdiv_q_2exp (r, r, shift);
mpz_tdiv_q_2exp  2952 lib/mini-gmp.c       mpz_tdiv_q_2exp (s0, s0, 1);
mpz_tdiv_q_2exp  2953 lib/mini-gmp.c       mpz_tdiv_q_2exp (t0, t0, 1);
mpz_tdiv_q_2exp  3231 lib/mini-gmp.c       mpz_tdiv_q_2exp (t, t, 1);	/* x'= (y/x + x)/2 */
mpz_tdiv_q_2exp  3475 lib/mini-gmp.c 	  mpz_tdiv_q_2exp (U, U, 1);
mpz_tdiv_q_2exp  3611 lib/mini-gmp.c   mpz_tdiv_q_2exp (q, nm1, k);
mpz_tdiv_q_2exp   173 lib/mini-gmp.h void mpz_tdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);