std::num_put(3) on Linux

The text 719370e596bd, as Debian 4.0 (Etch) shipped it.

std::num_put(3) on Linux now