handle DecimalEscape \8 and \9 in CharacterClass