如何让 JSON_SEARCH 明白我正在寻找一个数字？

根据要求

SELECT JSON_SEARCH('[3]', 'one', 3) as 'index' // в массиве число, ищу число

他们回答我

[
    {
      "index": null
    }
]

并应要求

SELECT JSON_SEARCH('[\"3\"]', 'one', '3') as 'index' // в массиве строка, ищу строку

他们回答我

[
    {
      "index": "\"$[2]\""
    }
]

但应要求

SELECT JSON_SEARCH('[\"3\"]', 'one', 3) as 'index' // в массиве строка, ищу число

他们也回答我

[
    {
      "index": "\"$[2]\""
    }
]

问题是 - 我如何让 mysql 明白我正在寻找一个数字？