The formal lexical grammar in 4.2.1 defines both +nan.0 and -nan.0, but section 4.2.8 only assigns meaning to +nan.0. The IEEE 754-1985 standard "does not interpret the sign of a NaN", so I suggest that -nan.0 also be defined to give a NaN. Regards, Alan