code: public static Setting of(
        String description, DoubleProperty property, double min, double max, int precision) {
      return new Setting<>(
          description,
          Field.ofDoubleType(property)
              .label(description)
              .render(new DoubleSliderControl(min, max, precision)),
          property);
    }
docs: Constructs a setting of {@link Double} type, which is represented by a {@link Slider}.
  
  @param description the title of this setting
  @param property    to be bound, saved / loaded and used for undo / redo
  @param min         minimum value of the {@link Slider}
  @param max         maximum value of the {@link Slider}
  @param precision   number of digits after the decimal point
  @return the constructed setting