> ...trapping on signalling NaNs is enough for the field to be true. So what's the point in encoding this? The main distinction, and the only one relevant for the RTL middle-end, is whether the operator traps on quiet NaNs since this can change the comparison instruction emitted by the back-end.
-- Eric Botcazou
