code: function WidgetNumber() {
          this.addOutput("", "number");
          this.size = [80, 60];
          this.properties = { min: -1000, max: 1000, value: 1, step: 1 };
          this.old_y = -1;
          this._remainder = 0;
          this._precision = 0;
          this.mouse_captured = false;
      }
docs: /* Number ***************