`float3_64 pos(0.0);` or full output in `floatD_64`