Numeric punctuation facet with 3 digits per thousands separator.

std::numpunct<char> * punct;