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.