replace from_str/to_str with mpz_import