Comment #0 by safety0ff.bugz — 2017-01-17T19:37:43Z
The website contains the following passage:
"However, a limited form of associativity is possible if the type used for intermediate results is larger than any of the operands (which happens on x87 and Itanium machines). If R is the intermediate type, and F is the type being multiplied, up to min(R.max_exp/F.max_exp, R.epsilon/F.epsilon) values of type F can be multiplied together in any order without influencing the result."
https://dlang.org/d-floating-point.html
Since R.epsilon is less than F.epsilon, R.epsilon/F.epsilon is < 1.
Therefore min(R.max_exp/F.max_exp, R.epsilon/F.epsilon) is always < 1, which contradicts the paragraph.
Comment #1 by robert.schadek — 2024-12-15T15:24:05Z