| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.Real.Base.Float
Description
This module defines an arbitrary precision floating point type and
its operations. It should be viewed more abstractly as an instance
of ERRealBase when used as interval endpoints.
- data ERFloat
Documentation
A floating point number with a given but arbitrary precision represented by its Granularity.
- base: 2.
- granularity specifies the bit-size of both the significand and the exponent
- special values: NaN, signed Infinity and signed Zero
- no denormalised numbers
- operations unify the granularity of their operands to the maximum
Granularity - Rounding is always towards +Infinity. For field operations, the rounded result is as close as possible to the exact result.