Changed integer to mpz_class