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