Is it correct to give same arguments to const ptr and to ptr?
mpz_class x("7612058254738945"); mpz_class y("9263591128439081"); mpz_