UML22 — OCL 2.0 8.2 Real

OCL reuses Boolean, Integer, String, UnlimitedNatural from UML Infrastructure.

OCL uses Real in a very similar fashion, but there is no corresponding
definition of Real in either OCL or UML Infrastructure.

The primitive type “Real” needs to be added to the PrimitiveTypes package for consistency with the OCL Real type. “Real” has also been defined separately by SysML and MARTE specifications and the new Diagram Definition Submission, so adding it to the PrimitiveTypes package will encourage reuse.
Another argument for adding a primitive type “Real” is that there is currently no normative way to notate real numerals in UML models. So, even if some model library adds a “Real” primitive type, there is technically still no normative way to write a literal for that type in a UML model. This suggests the need for a Real Literal definition as well.
(Note that the revised text below presumes the resolution to Issue 13993.)