Fixtype of lists of decimal digits and underscores.
A decimal-numeral in the grammar is a sequence of decimal digits and underscores, subject to certain restrictions formalized in decdig/uscore-list-wfp.