Module type Number.S0

module type S0 = sig .. end

Signature of numbers that also have a zero

include Number.S

val zero : t