mpz_div_r_2exp   2504 lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_CEIL);
mpz_div_r_2exp   2510 lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_FLOOR);
mpz_div_r_2exp   2516 lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_TRUNC);