The standard library integer package implements indefinite-precision integer arithmetic.
The integer package implements the Multiword_Int API, which is a superset of the vanilla Int API.
The integer package source code is in src/lib/std/multiword-int.pkg which is a proxy for src/lib/std/src/multiword-int-guts.pkg.
See also: large_int.
See also: large_unt.
See also: int.
See also: tagged_int.
See also: one_word_int.
See also: two_word_int.
The above information is manually maintained and may contain errors.
Multiword_Int