Module Numbers

module Numbers: sig .. end
Modules about numbers that satisfy Identifiable.S.

module Int: sig .. end
module Float: Identifiable.S  with type t = float