int property