The text 080c517ae6cf, as Debian 3.1 (Sarge) shipped it.
Numpunct facet.
std::numpunct(3) on Linux now