use zero_threshold=1e-13 (was 1e-10)

Author: ryan-williams

scripts/merge_expected.py

@@ -41,7 +41,7 @@ def round_to_digits(value: str, digits: int) -> str:
     return sign + str(rounded)
 
 
-def find_common_precision(a: str, b: str, min_sig_figs: int = 6, zero_threshold: float = 1e-14) -> str:
+def find_common_precision(a: str, b: str, min_sig_figs: int = 6, zero_threshold: float = 1e-13) -> str:
     """
     Find the longest decimal string that both values round to.