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