Add support for cast between NUMBER and JSON

[findepi]

Implements cast operators to convert between NUMBER and JSON types,
following the same pattern as existing DECIMAL-JSON casts.

NUMBER to JSON conversion:

• Regular numbers are converted to JSON numbers
• NaN, +Infinity, -Infinity are converted to JSON strings

JSON to NUMBER conversion:

• JSON numbers (integer and float) are converted to NUMBER
• JSON booleans are converted to 1 (true) or 0 (false)
• JSON strings containing numbers or special values (NaN, Infinity) are parsed
• JSON null is converted to SQL NULL

release notes

General
* Support cast from/to NUMBER and JSON (#28394)

[gertjanal]

Looks ok to me 👍

[findepi]

CI

• Flaky test TestMySqlQueryFailureRecoveryTest: checkTemporaryTables: "There should be no remaining tmp_trino tables that are queryable" #28874
• and a legit failure

[findepi]

@wendigo why did you add syntax-needs-review?
Anything specifically raises your concern?
This follows same route as other numeric casts from/to JSON, and fixes some (hopefully) obvious bugs.

[wendigo]

@findepi last time I've merged varbinary to json conversions and @martint objected that it required syntax review. Here we have a similar situation

[findepi]

to smooth the review experience, some changes extracted to

• Add support for cast from BOOLEAN to NUMBER #28879
• Fix precision loss when dealing with JSON numbers containing decimal point #28882
  • now split into JsonTypeUtil code cleanup and json parsing test improvements #28915 , Fix numeric precision loss in JSON parsing  #28916, Retain precision when casting JSON number to VARCHAR #28917

only the last commit to be reviewed here.

[findepi]

just rebased

• JsonTypeUtil code cleanup and json parsing test improvements #28915 is merged
• dropped commits from Fix numeric precision loss in JSON parsing  #28916 Retain precision when casting JSON number to VARCHAR #28917 (untie PRs)

[martint]

Syntax is good. It's consistent with what we do for other numeric conversions.

[findepi]

( rebased, no other changes (yet) )