JSON edit functions' array-index 32-bit wraparound (edit variant of M4 — modifies the wrong position)

SELECT JSON_SET('[10,20,30]', '$[4294967297]', 99);

-- MariaDB: [10, 99, 30]   <-- 2^32+1 wraps to index 1, value inserted at the wrong position!

SELECT JSON_REPLACE('[10,20,30]', '$[4294967297]', 99);   -- [10, 99, 30] replaced in the wrong place

SELECT JSON_REMOVE('[10,20,30]', '$[4294967297]');        -- [10, 30] wrong element deleted

SELECT JSON_CONTAINS_PATH('[10,20,30]','one','$[4294967297]');  -- 1 (considers it existing)

-- MySQL: all raise ERROR 3143 Invalid JSON path expression