## Mathematical Integers

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.