Really? Wow, I thought optimisations had to provably avoid affecting the correctness of your program. Hence: "This need to avoid imprecise intermediate results

Really? Wow, I thought optimisations had to provably avoid affecting the correctness of your program. Hence: "This need to avoid imprecise intermediate results often prevents compilers from exploiting mathematical properties like associativity when optimizing FP arithmetic." from the explanation under Q4.