module Neg_unsafe: S with type t = repr
S
with type t = repr
include Number.Spec
type repr
val verify : repr -> t
repr -> t