@jrose because then copysign/abs/negate could produce a sNaN result from qNaN input, contra clause 5 norms.(Or else wouldn’t just be bitwise ops, also undesirable)