module Float:sig..end
The ring of floats.
typet =float
val eq : t -> t -> bool
val add : float -> float -> float
val zero : float
val neg : float -> float
val mul : float -> float -> float
val one : float
val to_string : float -> string