mpz_div_r_2exp   2503 maint/gnulib/lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_CEIL);
mpz_div_r_2exp   2509 maint/gnulib/lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_FLOOR);
mpz_div_r_2exp   2515 maint/gnulib/lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_TRUNC);