Slider Widget: Double instead of Int


while working on the recent Knime Data Challenge I noticed the Slider Widget always outputs a double. Even by setting the decimal digits to zero it still is a double.

Since the output is not true to source (int input, double out) and there is no option to easily convert the double variable to type int, I raised this as a bug.

The most straight forward fallback is using the math node: