Double = (function(_super) {
    __extends(Double, _super);

    function Double() {
      return Double.__super__.constructor.apply(this, arguments);