The decimal digits only include those characters that are used as part of a standard positional decimal system. (We would be more consistent about terminology, however.)
------------------------------ Mark <https://plus.google.com/114199149796022210033> * * *— Il meglio è l’inimico del bene —* ** On Wed, Jul 11, 2012 at 5:41 PM, Richard Wordingham < [email protected]> wrote: > actually use the numeric types and (decimal) digit values for. >
