Fix incomplete semantics of INT_IS_TRUE