146147148149150151152153154155156
sb.append((char) next()); } BigRational val = new BigRational(sb.toString()); if(negative) { val = val.negate(); } return automaton.add(new Automaton.Real(val)); } else {
155156157158159160161162163164165
} else { BigInteger val = new BigInteger(sb.toString()); if(negative) { val = val.negate(); } return automaton.add(new Automaton.Int(val)); } }