framework/resources/Functional/explicit_cast/explicit_cast85.q

select cast(c_float4 as double precision) from data;