Fix #543: cast FloatSpin values to int in SpinSetting