Integer setting sliders skip numbers
!5717 (merged)