Data.Number.ER.Real.Base.MachineDouble

Make Double an instance of ERRealBase as much as possible.

Documentation

initMachineDouble :: IO ()

Set machine floating point unit to the upwards-directed rounding mode.

This procedure has to be executed before using Double as a basis for interval and polynomial arithmetic defined in this package.