为什么DbgPrintEx不支持浮点数？

Question

根据the documentation

  

DbgPrintEx例程不支持任何浮点类型（％f，％e，％E，％g，％G，％a或％A） < / p>

这看起来很奇怪，因为它们支持大多数其他C风格的格式化参数，并且由于vsprintf （内核模式驱动程序也可用）支持浮动 - 点。

是否存在不支持浮点数的技术原因？