Name of the defdigits table.
Definition: *defdigits-table-name*
(defconst *defdigits-table-name* 'defdigits-table)