sig
  exception Overflow
  exception Underflow
  module type T =
    sig
      type t
      val zero : Dl_number.T.t
      val epsilon : Dl_number.T.t
      val add : Dl_number.T.t -> Dl_number.T.t -> Dl_number.T.t
      val subtract : Dl_number.T.t -> Dl_number.T.t -> Dl_number.T.t
      val unary_minus : Dl_number.T.t -> Dl_number.T.t
      val equal : Dl_number.T.t -> Dl_number.T.t -> bool
      val compare : Dl_number.T.t -> Dl_number.T.t -> int
      val hash : Dl_number.T.t -> int
      val print : Dl_number.T.t -> unit
      val log : int -> Dl_number.T.t -> unit
      val is_number : Term.term -> bool
      val number : Term.term -> Dl_number.T.t
    end
  module type Integral_value = sig val v : int end
  module Small_integers : T
  module Safe_integers : T
  module Big_integers : T
  module Floats : T
  module Rationals : T
  module Stretched_integers : functor (N : Integral_value) -> T
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.