Module `Integer.Float`

type t = float

val zero : Progress_engine.Integer.Float.t

val one : Progress_engine.Integer.Float.t

val add : 
  Progress_engine.Integer.Float.t ->
  Progress_engine.Integer.Float.t ->
  Progress_engine.Integer.Float.t

val sub : 
  Progress_engine.Integer.Float.t ->
  Progress_engine.Integer.Float.t ->
  Progress_engine.Integer.Float.t

val equal : 
  Progress_engine.Integer.Float.t ->
  Progress_engine.Integer.Float.t ->
  bool

val to_string : Progress_engine.Integer.Float.t -> string

val to_float : Progress_engine.Integer.Float.t -> float

val of_float : float -> Progress_engine.Integer.Float.t

Module Integer.Float