Surreal library is again available from
	http://www15.ocn.ne.jp/~rodinia/surreal.html

Unfortunately, no improvement has been possible (yet).  Logarithm and
reverse triangular functions are not implemented.

Surreal library is an exact real arithmetic library for OCaml.  The
goal is to do middle-scale computation with 500-2000 operands to exact
reals in the reasonable amount of time.  To that goal, surreal uses
some heuristics to evaluate the value of reals, with optimized
algorithms for transcendental functions.  By using Numerix, surreal
avoids memory allocation overhead, since Numerix uses OCaml heap
allocator and GC directly for all memory management.

--
Yamagata Yoriyuki