set result = sqrt(9.0);
select CAST(3.0 AS FLOAT) as expected, cast($result as FLOAT) as actual;
