"European digits" (1234567890) are actually called "Arabic digits" in Europe and New World, and there are also older "Hindu-Arabic numerals" or "Indo-Arabic numerals", they became "European" when Arabs introduced them in Europe. Presently, both systems are represented by separate different sets of characters. Please see:
http://en.wikipedia.org/wiki/Arabic_numerals[
^],
http://en.wikipedia.org/wiki/History_of_the_Hindu%E2%80%93Arabic_numeral_system[
^].
This is how it is presently standardized:
http://www.unicode.org/charts/[
^],
http://www.unicode.org/charts/PDF/U0600.pdf[
^].
If you don't use Unicode, you can only use "Arabic digits" ("European"), as they are in ASCII and are always there, no matter what happens. In Unicode, you can use both kinds of digits, as well as anything at all; all those characters have different
code points.
The problem is simply not a problem.
And the "locale" simply does not matter.
—SA