mpz_div_r_2exp   2511 lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_CEIL);
mpz_div_r_2exp   2517 lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_FLOOR);
mpz_div_r_2exp   2523 lib/mini-gmp.c   mpz_div_r_2exp (r, u, cnt, GMP_DIV_TRUNC);