Cast to int to avoid tautological-constant and ZPROP_INVAL