integerproperties