Descrição
Fornece aritmética de inteiros e racionais com precisão arbitrária para OCaml por meio do Zarith. É útil em matemática, criptografia, computação simbólica, prova de teoremas e código que precisa de operações exatas com números grandes.
Use quando um projeto OCaml depende de Zarith ou precisa de aritmética precisa além dos limites dos inteiros da máquina. É uma dependência de biblioteca, não uma calculadora.