Agda.Utils.Char
decDigit
hexDigit
octDigit