扎里斯图书馆 概述 该库对任意精度整数实现算术和逻辑运算。 该模块简称为Z 它的接口类似于OCaml标准库中的Int32 ， Int64和Nativeint模块的接口，并具有一些附加功能。 有关文档，请参见文件z.mlip 。 该实现使用GMP（GNU多精度算术库）来计算大整数。 但是，小整数表示为未装箱的Caml整数，以节省空间并提高性能。 大整数在Caml堆中分配，绕过GMP的内存管理，并且比MLGMP库具有更好的GC行为。 小整数的计算使用特殊的较快路径（在C或OCaml中），避免调用