Why doesn't DbgPrintEx support floating-point numbers? <p>According to <a href="https://msdn.microsoft.com/en-us/library/windows/hardware/ff543634(v=vs.85).aspx" rel="nofollow">the documentation</a></p> <blockquote> <p>The <code>DbgPrintEx</code> routine does not support any of the floating point types <em>(%f, %e, %E, %g, %G, %a, or %A)</em></p> </blockquote> <p>That seems very strange, since they support most of the other C-style formatting parameters, and since <code>vsprintf</code> <em>(which is also available to kernel-mode drivers)</em> does support floating-point.</p> <p>Is there a technical reason for not supporting floating-point numbers?</p>