SPIR-V printf with double not working

[fknfilewalker]

it seems that printf is not working correctly with double

double d = 3.4;
printf("%f", d);

is printing 0.000000

I am using July 2022 dxc version