Extend DIGIT-CHAR-P to include all HexDigit characters.