On Saturday, 6 August 2016 at 21:56:06 UTC, Walter Bright wrote:
Let me rephrase the question - how does fusing them alter the result?
There is just one rounding operation instead of two.Of course, if floating point values are strictly defined as having only a minimum precision, then folding away the rounding after the multiplication is always legal.
— David