private Token NextInteger(char ch)
{
string value = ch.ToString();
int ich;
for (ich = this.NextChar(); ich != -1 && char.IsDigit((char)ich); ich = this.reader.Read())
value += (char)ich;
if (ich != -1)
this.PushChar(ich);
return new Token(value, TokenType.Integer);
}