| This class is modelled on Java's DecimalFormatSymbols, but it allows the use of any
Unicode character to represent symbols such as the decimal point and the grouping
separator, whereas DecimalFormatSymbols restricts these to a char (1-65535). Since
this is essentially a data structure with no behaviour, we don't bother with getter
and setter methods but just expose the fields
|