sig
  type t = Simple | Double | Long_Double | Real
  val pretty : Format.formatter -> Numerors_utils.Precisions.t -> unit
  val of_fkind : Cil_types.fkind -> Numerors_utils.Precisions.t
  val get : Numerors_utils.Precisions.t -> int
  val exponent : Numerors_utils.Precisions.t -> int
  val denormalized : Numerors_utils.Precisions.t -> int
  val compare :
    Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t -> int
  val eq : Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t -> bool
  val max :
    Numerors_utils.Precisions.t ->
    Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t
  val min :
    Numerors_utils.Precisions.t ->
    Numerors_utils.Precisions.t -> Numerors_utils.Precisions.t
end