13.6. Numeric Characters [CLHS-13.1.4.4]

The numeric characters are those UNICODE characters which are defined as digits by the UNICODE standard.


These notes document CLISP version 2.41Last modified: 2006-10-13