Prefixes starting with <digit>
<digita>
.
<digit> (other)
.