3.4. Section 4: Names and Expressions

Names and expressions are fully supported in the default profile.

Static expressions of the type universal_integer or universal_real have no limit on the implemented range or precision. Evaluation of such expressions is carried out by a general universal arithmetic package.

Non-static expressions of type universal_integer are evaluated at run time using the smallest predefined integer type with sufficient range.

If run-time floating point support is available, non-static expressions of type universal_real are evaluated at run time using 64-bit double-precision floating point.