Trigger MYSQL:JSON_SEARCH un valore intero in una matrice json di numeri interi

È in base alla progettazione, anche se non posso essere d'accordo con il team di mySQL. Questo dovrebbe essere implementato.