sig
  type union_5 = Scalar of Apron.Scalar.t | Interval of Apron.Interval.t
  and t = Apron.Coeff.union_5
  val s_of_mpq : Mpq.t -> Apron.Coeff.t
  val s_of_mpqf : Mpqf.t -> Apron.Coeff.t
  val s_of_int : int -> Apron.Coeff.t
  val s_of_frac : int -> int -> Apron.Coeff.t
  val s_of_float : float -> Apron.Coeff.t
  val s_of_mpfr : Mpfr.t -> Apron.Coeff.t
  val i_of_scalar : Apron.Scalar.t -> Apron.Scalar.t -> Apron.Coeff.t
  val i_of_mpq : Mpq.t -> Mpq.t -> Apron.Coeff.t
  val i_of_mpqf : Mpqf.t -> Mpqf.t -> Apron.Coeff.t
  val i_of_int : int -> int -> Apron.Coeff.t
  val i_of_frac : int -> int -> int -> int -> Apron.Coeff.t
  val i_of_float : float -> float -> Apron.Coeff.t
  val i_of_mpfr : Mpfr.t -> Mpfr.t -> Apron.Coeff.t
  val is_scalar : Apron.Coeff.t -> bool
  val is_interval : Apron.Coeff.t -> bool
  val cmp : Apron.Coeff.t -> Apron.Coeff.t -> int
  val equal : Apron.Coeff.t -> Apron.Coeff.t -> bool
  val is_zero : Apron.Coeff.t -> bool
  val equal_int : Apron.Coeff.t -> int -> bool
  val neg : Apron.Coeff.t -> Apron.Coeff.t
  val reduce : Apron.Coeff.t -> Apron.Coeff.t
  val print : Format.formatter -> Apron.Coeff.t -> unit
end