private Token NextInteger(char? nch)
{
string integer = nch.ToString();
nch = this.NextChar();
while (nch.HasValue && char.IsDigit(nch.Value))
{
integer += nch;
nch = this.NextChar();
}
if (nch == '.')
{
return this.NextReal(integer);
}
if (nch.HasValue)
this.PushChar(nch.Value);
Token token = new Token();
token.Value = integer;
token.TokenType = TokenType.Integer;
return token;
}