AutoSaveInterval は SettingsViewModel.AutoSaveInterval で int として保持し、Slider からの double をキャストしています。