A universal expression is an expression whose results are either of the type universal integer or
universal real .
Operator
Operation
Operand type
(left)
(right)
Result type
*
Multiplication
universal_real
universal_integer
/
Division