For specification purposes, VCC supports a mathematical integer type
mathint; values of this type can be arbitrarily large and are not bound to the admissible value ranges of the machine integer types.
mathint supports the arithmetic operations
+, -, *,
/, % and the comparison operations
<, >, <=,
Conversion from machine integers to mathint is implicit and can never fail. Conversion from
mathint to machine integer types requires an explicit cast and will generate a corresponding range assert.