mpz_class is shit