An integer value with an unlimited range. The runtime should hide the distinction between integers that can be represented as one machine word and arbitrary-precision integers (bigints).

When integers with a specific representation are needed, types such int32 from ideal.library.interop should be used.