default template param NT=mpz_class