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