use mpz_export instead of strings