A universal expression is an expression whose results are either of the type universal integer or universal real .
| 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 |