isDigit is:exact

Selects ASCII digits, i.e. '0'..'9'.
A fast digit predicate.
Is this an ASCII digit, i.e., one of 0..9. Note that this is a subset of isNumberL1.
>>> prove $ \c -> isDigit c .=> isNumberL1 c
Q.E.D.
isDigit c = '0' <= c && c <= '9'
Decimal digit predicate.