Modify processing to binary compare in order to do native JSON comparison

mysql> CREATE TABLE `j2` (
 `id` int(11) NOT NULL,
 `j` json DEFAULT NULL,
 `tombstone` tinyint(4) NOT NULL,
 PRIMARY KEY (`id`)
) ENGINE=InnoDB;
mysql> insert into j2 values(2, '{"amount": 70.0}', 1);
Query OK, 1 row affected (0.01 sec)
mysql> select json_type(j->"$.amount") from j2;
+--------------------------+
| json_type(j->"$.amount") |
+--------------------------+
| DOUBLE |
+--------------------------+
1 row in set (0.01 sec)
mysql> insert into j2(id,j,tombstone) values(2, '{}', 0) on duplicate key update j=if(tombstone=0, '{}', j);
Query OK, 2 rows affected (0.01 sec)
mysql> select json_type(j->"$.amount") from j2;
+--------------------------+
| json_type(j->"$.amount") |
+--------------------------+
| INTEGER |
+--------------------------+
1 row in set (0.00 sec)