====== Universal expression ======
===== Definition =====
A universal expression is an expression whose results are either of the type //universal integer// or //universal real// . 

===== 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 |