public int ToInt() { int k = 0; if (TryGetInt(out k)) return k; else throw new MonaParseException(MonaParseExceptionKind.InvalidIntegerFormat, location, string.Format("cannot convert token '{0}' to integer", text)); }