3 ms·

Made me think, maybe they should check if you are using IEEE 754 correctly...

• TheDong 9y ago
  Numeric 'correctness' is a business-problem property. For a game engine, correctness is speed and "right enough". For a research physics simulation, it may be "as right as possible". You can't check whether floating point inaccuracy is correct generically because the definition is entirely dependent on the business needs of the program in question.
  • jononor 9y ago
    One could enforce the strictest correctness by default, and then allow/require to opt-out in cases where programmer decides it is OK, like a game.
• bitL 9y ago
  An "ancient" conversation demonstrating this issue with early Coq: http://grouper.ieee.org/groups/754/email/msg00574.html http://grouper.ieee.org/groups/754/email/msg00574.html