The Zarith library implements arithmetic and logical operations
over arbitrary-precision integers. It uses GMP to efficiently
implement arithmetic over big integers. Small integers are
represented as Caml unboxed integers, for speed and space economy.
Created attachment 291179 [details]
Created attachment 292561 [details]
new version which allows to install the bytecode version only.
Created attachment 292563 [details]
Created attachment 292565 [details]
Created attachment 307221 [details]
Version 1.2.1 of dev-ml/zarith is available in the science overlay. I assume this issue can be closed.
added zarith-1.3 to the tree, thanks!