About external formats of bizarre non-numbers such as NaN. It's true that NaN and 0NaN aren't too good because strtod() et al have well-defined behaviour already on those strings. So how about something like \377NaN?