BUG REPORT: DzIntSlider.min / DzIntSlider.clamped not working

I was asked by tech support to post this to the forum as they are unable to tech support script bugs.

The below script shows that either DzIntSlider.min or DzIntSlider.clamped are not working when DzIntSlider.min > 0. As you can see the slider with min=0 works fine, i.e. it clamps to the min value, whereas the slider with min=2 does NOT WORK properly. I'm able to slide it to below the min value.

+++

var myDialog = new DzBasicDialog();

var group1 = new DzGroupBox(myDialog);
group1.title = "Group 1";
myDialog.addWidget(group1);
var slider1 = new DzIntSlider(group1);
slider1.label = "Slider 1";
slider1.labelVisible = true;
slider1.min = 0;
slider1.max = 10;
slider1.sensitivity = 1;
slider1.clamped = true;
slider1.value = 0;

var slider2 = new DzIntSlider(group1);
slider2.label = "Slider 2";
slider2.labelVisible = true;
slider2.min = 2;
slider2.max = 10;
slider2.sensitivity = 1;
slider2.clamped = true;
slider2.value = 5;

myDialog.exec();