I tried editing the json file, but no dice... Any pointers on how I can remove the .00 decimals on a rangeslider? I have a slider that should only show integers (like how many people are coming to that event). I'm trying to implement that in WordPress, so a general solution would be nice.

Example: https://www.surveyjs.io/Examples/Library/?id=custom-widget-nouislider

Best regards,
Matthias