- **Added:**
  :cmd:`Number Notation` and :cmd:`String Notation` now support
  parsing and printing of primitive floats, primitive arrays
  and type constants of primitive types.
  (`#13519 <https://github.com/coq/coq/pull/13519>`_,
  fixes `#13484 <https://github.com/coq/coq/issues/13484>`_
  and `#13517 <https://github.com/coq/coq/issues/13517>`_,
  by Fabian Kunze, with help of Jason Gross)