mpz_t MPZ_INT128_MAX
mpz_t 2^127-1 is initialized by gmpconst_init().
Definition gmpconst.cpp:28
mpz_t MPZ_ONE
mpz_t 1 is initialized by gmpconst_init().
Definition gmpconst.cpp:26
mpz_t MPZ_ZERO
mpz_t 0 is initialized by gmpconst_init().
Definition gmpconst.cpp:25
mpz_t MPZ_INT128_MIN
mpz_t -2^127 is initialized by gmpconst_init().
Definition gmpconst.cpp:27