sig
  val ( +! ) : Cr.t -> Cr.t -> Cr.t
  val ( -! ) : Cr.t -> Cr.t -> Cr.t
  val ( *! ) : Cr.t -> Cr.t -> Cr.t
  val ( /! ) : Cr.t -> Cr.t -> Cr.t
end