sig
  type t
  val equal : QCheck2.Shrink.Number.t -> QCheck2.Shrink.Number.t -> bool
  val div :
    QCheck2.Shrink.Number.t ->
    QCheck2.Shrink.Number.t -> QCheck2.Shrink.Number.t
  val add :
    QCheck2.Shrink.Number.t ->
    QCheck2.Shrink.Number.t -> QCheck2.Shrink.Number.t
  val sub :
    QCheck2.Shrink.Number.t ->
    QCheck2.Shrink.Number.t -> QCheck2.Shrink.Number.t
  val of_int : int -> QCheck2.Shrink.Number.t
end