Comparing an indexed column against a constant may return wrong results when the constant is rounded

CREATE TABLE t1 (i INT, KEY(i));

INSERT INTO t1 VALUES (46),(47),(48);

-- Wrong: returns 47 (expected: empty result)

SELECT i FROM t1 WHERE i = 46.5;

-- Correct without the index: empty result

SELECT i FROM t1 IGNORE INDEX(i) WHERE i = 46.5;

-- Shows ref access without "Using where", so the condition is never checked

EXPLAIN SELECT i FROM t1 WHERE i = 46.5;

DROP TABLE t1;