The text 1b23f7f7942f, as Debian 3.1 (Sarge) shipped it.
Facet for parsing number strings.
std::num_get(3) on Linux now
