mpz_str working and fermat filtering