Apronext.Scalarext
include module type of struct include Apron.Scalar end
val of_mpq : Mpq.t -> t
val of_mpqf : Mpqf.t -> t
val of_int : int -> t
val of_frac : int -> int -> t
val of_mpfr : Mpfr.t -> t
val of_mpfrf : Mpfrf.t -> t
val of_float : float -> t
val of_infty : int -> t
val is_infty : t -> int
val sgn : t -> int
val cmp_int : t -> int -> int
val equal_int : t -> int -> bool
val to_string : t -> string
val print : Stdlib.Format.formatter -> t -> unit
val one : t
val to_mpqf : t -> Mpqf.t
val to_float : t -> float
val to_float_up : t -> float
val to_float_down : t -> float
scalar addition. result is automatically lifted to mpqf to avoid loss of precision
scalar substraction. result is automatically lifted to mpqf to avoid loss of precision
scalar multiplication. result is automatically lifted to mpqf to avoid loss of precision