+/// return true if a unicode char has the direction attribute
+/// Common Number Separator [CS]
+bool isCommonNumberSeparator(char_type c);
+
+/// return true if a unicode char has the direction attribute
+/// European Number Terminator [ET]
+bool isEuropeanNumberTerminator(char_type c);
+