LFPERA Lazy Exact Real Arithmetic Using Floating Point Operations (PhD Thesis) How to Use The primary module is FCL.hs. This module contains all of the basic arithmetic operations.