static DoubleRange zeroToOneDoubleRangeFromRangeSlider(int max, RangeSlider slider) {
  ret swing(() -> DoubleRange(slider.getValue()/max, slider.getUpperValue()/max));
}