Module type Number.Verified_std.S

module type S = Number.S  with type repr = repr

include Number.Spec

type repr 

val verify : repr -> t