2 ms·

There is no "different implementation of IEEE 754" that could give a different result in double precision for that example. There are reasonable criticisms of

• effie 10y ago
  > There is no "different implementation of IEEE 754" that could give a different result in double precision for that example. How do you know that?
  • sunfish 10y ago
    IEEE 754 is a standard, and it requires a specific, bitwise-reproducible, answer for the computation in question. I'm the author of most of the floating-point tests in WebAssembly's conformance testsuite, which tests such things in practice across several hardware platforms. One of the half-truths in the presentation (in the intro) is that IEEE 754 is a mixture of requirements and recommendations. IEEE 754 does have both requirements and recommendations, however what the presentation doesn't say is that, within a given format like double precision (aka binary64), the basic operations like add, subtract, multiply, divide, squareRoot, etc.) have exactly one possible result for any given input (except that NaNs may have some implementation-defined bits, though this is usually unimportant).