Fix IntProperty setter