widgets: convert to int when digits is 0 in NumStepper

src/settings/setting/widgets/NumStepper.py

@@ -69,6 +69,9 @@ class NumStepper(BaseWidget):
     def _on_num_changed(self, widget):
         selected_value = widget.get_value()
 
+        if self.spin.get_digits() == 0:
+            selected_value = int(selected_value)
+
         self.setting._set_backend_value(selected_value)
 
         self._update_reset_visibility()