Module type Number.S0

module type S0 = sig .. end
Signature of numbers that also have a zero

include Number.S
val zero : t