7.15 Universal expression

7.15.1 Definition

A universal expression is an expression whose results are either of the type universal integer or

universal real .

7.15.2 Overview

Operator

Operation

Operand type

(left)

Operand type

(right)

Result type


*


Multiplication

universal_real

universal_integer

universal_real

universal_integer

universal_real

universal_real

/

Division

universal_real

universal_integer

universal_real