public dec(): Jchar {
    this._value = String.fromCharCode(this.value - 1);
    return jchar(this._value);
  }