On http://www.haskell.org/hawiki/ExactRealArithmetic there is a module by David Lester mentioned, with a link to http://www.cs.man.ac.uk/arch/dlester/exact.html which does not work, and I also did not get a reply from the author. Does someone of you have this module?