In Flink SQL, are there builtin functions to convert a JSON string to a flink value of ARRAY<FLOAT> (for ex)? ex:

`data` STRING := "[1,2,3]"

basically a parse json and perhaps ability give hints about datatype mapping. First attempt was with

CAST('[1,2,3]' AS ARRAY<FLOAT>)

and

CAST( JSON_QUERY('[1,2,3,4]', '$') AS array<FLOAT> )

which results in exception:

Cast function cannot convert value of type VARCHAR(<tel:2147483647|2147483647>) to type FLOAT ARRAY

Anyone has hints on how such data type convert can be done? no builtin way and UDF required?