Searched refs:num_punct (Results 1 – 1 of 1) sorted by relevance
31 const numpunct<char>& num_punct=use_facet<numpunct<char> >(cout.getloc()); in main() local32 cout << num_punct.decimal_point() << '\n'; in main()