[Cfp-interest] optimization with signaling NaNs

[Jim Thomas]

I'd like to propose the following specification to cover optimization 
with signaling NaNs:

For signaling NaN inputs, C FP arithmetic operations that return a FP 
result shall either signal invalid and return a quiet NaN or else return 
a signaling NaN.

-Jim