Avoid scientific notation for DOUBLE to STRING

Flink currently uses Java semantics for some casts.

When executing:

SELECT CAST(CAST('19586232024.0' AS DOUBLE) AS STRING);

Leads to

1.9586232024E10

However, other vendors such as Postgres or MySQL return 19586232024.

We should reconsider this behavior for consistency.