module type S0 = Number.S0 with type repr = repr
Number.S0
with type repr = repr
include Number.S
val zero : t
t