51 ms·

Would working with unums side-step the issue for math problems?

• jcranmer 2y ago
  No, the fundamental issue is the difficulty of proving correctly-rounded results, which means implementations end up returning different results in practice. Unums do nothing to address that issue, except possibly by virtue of not having multiple implementations in the first place.