Support for formatting and parsing non-arabic digits.

Also adds a CoinFormat.withLocale() to configure the format from a locale.
Debug print?