[PATCH vkd3d 07/10] vkd3d-shader/d3d-asm: Always use '.' as decimal separator when printing floats.