NumberTok numberTok = (NumberTok) tok;
double number = numberTok.getVal();
if (rule instanceof CSSRangedIntType) {
CSSRangedIntType ranged = (CSSRangedIntType) rule;
int min = ranged.getFrom();
int max = ranged.getTo();
if (min <= number && number <= max) {
// ok
result.remainingInput = local;
result.status = State.MATCH;