do_decimal_point 124 uspace/lib/cpp/include/__bits/locale/numpunct.hpp char_type do_decimal_point() const do_decimal_point 187 uspace/lib/cpp/include/__bits/locale/numpunct.hpp char_type do_decimal_point() const