eng: Add optional floating-point number type

Update #3715.
This commit is contained in:
Sebastian Huber 2023-05-04 13:30:41 +02:00
parent 98172bc9a4
commit 77e8b566b7

View File

@ -4622,6 +4622,17 @@ This type is used by the following types:
* :ref:`SpecTypeSpecificationRefinementLinkRole`
.. _SpecTypeOptionalFloatingPointNumber:
Optional Floating-Point Number
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
A value of this type shall be of one of the following variants:
* The value may be a floating-point number.
* There may be no value (null).
.. _SpecTypeOptionalString:
Optional String