O'Caml library that implements exact real arithmetic

 This module implements exact real arithmetic, following Valerie
 Menissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/).
 .
 A real x is represented as a function giving, for any n, an
 approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an
 arbitrary precision integer (of type Gmp.Z.t).
 .
 Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition,
 subtraction, multiplication, division, power, square root) and
 transcendental functions (sin, cos, tan, log, exp, arcsin, arccos,
 etc.) and a few constants (pi, e) are provided.
 .
 A small reverse-polish calculator is provided to test the library.