digit-0.12: A data-type representing digits 0-9 and other combinations