Neither of those appear to say anything about treating floating point operations as associative nor reordering them as a standard optimization, let alone allowi

Neither of those appear to say anything about treating floating point operations as associative nor reordering them as a standard optimization, let alone allowing the programmer to opt into such an optimization.