isDigit package:sbv

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.