doc/changelog/03-notations/11986-float-low-level-printing.rst


1
2
3
4
5

- **Added:**
  Add flag ``Printing Float`` to print primitive floats as hexadecimal
  instead of decimal values. This is included in ``Set Printing All``.
  (`#11986 <https://github.com/coq/coq/pull/11986>`_,
  by Pierre Roux).