iostream facet needed for reading special double/float values "inf" and "nan".
Note that this is not supported by std::iostream, so we need to add this facet via a std::locale.
Authored by: beeblbrox 2007-12-27
Parent: [r945]
Child: [r947]