Original sentence: (for x different from 0).(−0 in rounding toward negative).Special rules.The IEEE 754 floating point standard specifies the behavior of positive zero and negative zero under various operations:
Edited sentence: (for  different from 0).(for any ).(−0 when rounding toward negative).Because of negative zero (and only because of it), the statements  and , for floating-point variables ,  , and , cannot be optimized to.Some other special rules:.The IEEE 754 floating point standard specifies the behavior of positive zero and negative zero under various operations.The outcome may depend on the current IEEE rounding mode settings