incorrect result when using double NOT on INT column in WHERE

CREATE TABLE t0(c0 INT);

INSERT INTO t0(c0) VALUES(2);

/* should return the row (2), but returns empty set */

SELECT * FROM t0 WHERE (NOT NOT t0.c0) = 1;

/* returns the row : (2) */

SELECT * FROM t0 WHERE (NOT NOT t0.c0) = 2;