Custom numpunct facet that uses ',' as the decimal point and ';' as the thousands separator. Installing this in the global C++ locale reproduces what