+ * %and the 6 comparison operators
= <> < > <= >=are available. Note however that the difference operator returns an integer value (see integers section below).
divoperator is the euclidean division and returns a nat value.
absfunction is used to convert a integer value to a natural value.
+ * - div %and the 6 comparison operators
= <> < > <= >=are available.
r3represent the same rational,
(3,2). A fractions is simplified during transcoding process.
+ - * /and the minus sign on rationals. They all return a rational. For example:
44800000utz. The process is the following:
a * ris not accepted as
resvalue (line 4 above): rationals come first.
= <> < <= > >=operators.
ceiloperators with the expected behaviour.