(*#* Library for manipulating integers based on binary encoding.
These are the basic modules, required by [Omega] and [Ring] for instance.
(*#* Library for manipulating integers based on binary encoding.
These are the basic modules, required by [Omega] and [Ring] for instance.