sliderInput: fix rounding bug. Fixes #502

This uses jslider from commit 22cd17e