AltErgoLib.NumsNumbers
module Z : NumbersInterface.ZSig with type t = Big_int.big_int
Integers implementation. Based on big_int *
module Q : NumbersInterface.QSig with module Z = Z
Rationals implementation. Based on nums *