As pointed out in #118, the Z_mlgmpidl module present here can be used, but it's not built or packaged on opam. Since it works, it shouldn't hurt to also publish it on opam.
It would be useful for Apron users (e.g. Goblint, MOPSA, Frama-C, etc.), because the alternative is to perform the conversions through string, which isn't very pleasing, or float, which defeats the point of big integers.
Of course the module depends on mlgmpidl, so it wouldn't make sense for the module to be part of the "zarith" package, which would have to have an additional dependency for no good reason. Therefore, that single module could be published as a separate package like "zarith-mlgmpidl", which could still be defined in this repository and depend on both zarith and mlgmpidl.
As pointed out in #118, the
Z_mlgmpidlmodule present here can be used, but it's not built or packaged on opam. Since it works, it shouldn't hurt to also publish it on opam.It would be useful for Apron users (e.g. Goblint, MOPSA, Frama-C, etc.), because the alternative is to perform the conversions through
string, which isn't very pleasing, orfloat, which defeats the point of big integers.Of course the module depends on mlgmpidl, so it wouldn't make sense for the module to be part of the "zarith" package, which would have to have an additional dependency for no good reason. Therefore, that single module could be published as a separate package like "zarith-mlgmpidl", which could still be defined in this repository and depend on both zarith and mlgmpidl.