. "A character is a digit if its general category type, provided" . . .