Typos seem like a different type of error from physical tolerances, and one that would be really hard to reason about mathematically.