> will not re-order the operations behind their back?

Valid point. Floating point summation is not always commutative.