Arbitrary-precision whole number. See also Integer.Morph
Arbitrary-precision signed Integer, constructable from a Sign
and Natural.AtLeast1 bits
Convert from a Natural
Convert to an Int
Keep in mind that this can overflow
since Int is fixed in bit size while Integer is not.
The type is rarely useful in its current state, as the only thing you can do is convert from and to other types.
This is enough for my use-cases but feel free to PR or open an issue if you'd like to see support for arbitrary-precision arithmetic like addition, multiplication, ...
Arbitrary-precision integer, constructable from bits