changed second mpz_clear to p2big rather than p1big