I agree with Bill that the result is already well-specified. It is certainly not obvious from the current text whether SNaN raises INVALID. Given that one of the intended (by 60559) uses of SNaN is for uninitialized variable representation, there is certainly a case for it raising INVALID here. Cheers, -- ........................Malcolm Cohen, Nihon NAG, Tokyo.