docs: function IntegerBufferSet() {
      this.$IntegerBufferSet_valueToPositionMap = {};
      this.$IntegerBufferSet_size = 0;
      this.$IntegerBufferSet_smallValues = new Heap(
        [], // Initial data in the heap
        this.$IntegerBufferSet_smallerComparator
      );
      this.$IntegerBufferSet_largeValues = new Heap(
        [], // Initial data in the heap
        this.$IntegerBufferSet_greaterComparator
      );
  
      this.getNewPositionForValue = this.getNewPositionForValue.bind(this);
      this.getValuePosition = this.getValuePosition.bind(this);
      this.getSize = this.getSize.bind(this);
      this.replaceFurthestValuePosition =
        this.replaceFurthestValuePosition.bind(this);
    }