The text 8e821f11e28c, as Debian 6.0 (Squeeze) shipped it.
Facet for converting numbers to strings.
std::num_put(3cxx) on Linux now
