Module      :  Data.Number.ER
    Description :  top level of the exactreals framework
    Copyright   :  (c) Michal Konecny
    License     :  BSD3

    Maintainer  :  mik@konecny.aow.cz
    Stability   :  experimental
    Portability :  non-portable (requires fenv.h)

    This namespace is the root for the AERN family of packages.
    AERN stands for Approximated Exact Real Numbers.
    All AERN packages build on the package AERN-Real.
    Module "Data.Number.ER.Real" contains an overview
    of the AERN-Real package.
module Data.Number.ER 
    module Data.Number.ER.Real

import Data.Number.ER.Real