char_type decimal_point() const;
char_type thousands_sep() const;
string grouping() const;
string_type truename() const; string_type falsename() const;