private Token NextReal(string value)
{
int ch;
ch = this.NextChar();
while (ch >= 0 && char.IsDigit((char)ch))
{
value += (char)ch;
ch = this.NextChar();
}
this.PushChar(ch);
Token token = new Token();
token.Type = TokenType.Real;
token.Value = value;
return token;
}