Description
Provides arbitrary-precision integer and rational arithmetic for OCaml through Zarith. It is useful in mathematics, cryptography, symbolic computation, theorem proving, and code that needs exact large-number operations.
Use it when an OCaml project depends on Zarith or needs precise arithmetic beyond machine integer limits. It is a library dependency, not a calculator application.