Module 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 *