implement string conversion for mpz