The standard library one_word_int package implements 32-bit fixed-precision integer arithmetic.
The one_word_int package implements the Int API.
The one_word_int package source code is in src/lib/std/one-word-int.pkg.
See also: int.
See also: tagged_int.
See also: two_word_int.
See also: multiword_int.
The above information is manually maintained and may contain errors.
Int