Module Number.Verified_std.Neg0_unsafe

module Neg0_unsafe: S0  with type t = repr

include Number.S

val zero : t