public inc(): Jdouble {
    this._value = this._value + 1;
    return jdouble(this._value.toString());
  }