-
Notifications
You must be signed in to change notification settings - Fork 76
Description
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.