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