Desencadenadores de MYSQL:JSON_SEARCH un valor entero en una matriz json de enteros

Es por diseño, aunque no puedo estar de acuerdo con el equipo de mySQL. Esto debería implementarse.

https://bugs.mysql.com/bug.php?id=79233 [cerrado]