std::num_put(3cxx) on Linux

The text 16c39a27a825, as Debian 8 (Jessie) shipped it.

std::num_put(3cxx) on Linux now