replace from_str/to_str usage with mpz_import