The standard library int package implements default-precision fixed-precision integer arithmetic.
The int package implements the Int api.
The int package source code is in src/lib/std/int.pkg, which is a proxy for src/lib/std/src/tagged-int-guts.pkg.
See also: tagged_int.
See also: one_word_int.
See also: two_word_int.
See also: multiword_int.
The above information is manually maintained and may contain errors.
Int