AltErgoLib.Numbers
module Z : sig ... end
Integers implementation. *
module Q : sig ... end
Rationals implementation. *