private int ReadNumber() { var str = new StringBuilder(); do { str.AppendChar(_ch); NextChar(); } while (IsDigit(_ch)); return Std.ParseInt(str.ToString()); }