static isDigit(ch: number): boolean {
    return ch >= '0'.charCodeAt(0) && ch <= '9'.charCodeAt(0);
  }