Module type Number.Verified_std.S0

module type S0 = Number.S0  with type repr = repr

include Number.S
val zero : t