Add (untested) Int-Set-Property