BUG: slider value passed as double cast to int