The following functions in class GuiSpinBox: - increment(int value) - decrement(int value) in case of negative 'value' neither perform a decrement/increment nor return an error (or exception)