add tests for int_properties