same as in IntSetting