backtracking/creal

An exact real arithmetic (aka constructive reals) for OCaml

OCamlNOASSERTION