Up
Module type
S0
=
Number.S0
with
type
repr
=
repr