Abstract
This article presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend to arbitrary-precision, ideas from the IEEE 754 standard, by providing correct rounding and exceptions . We demonstrate how these strong semantics are achieved---with no significant slowdown with respect to other arbitrary-precision tools---and discuss a few applications where such a library can be useful.
Citation impact
- FWCI
- 33.65
- Percentile
- 100%
- References
- 41
Authors
5- LFLaurent FousseCorresponding
Laboratoire Lorrain de Recherche en Informatique et ses Applications
- GHGuillaume Hanrot
Laboratoire Lorrain de Recherche en Informatique et ses Applications
- VLVincent Lefèvre
Laboratoire Lorrain de Recherche en Informatique et ses Applications
- PPPatrick Pélissier
Laboratoire Lorrain de Recherche en Informatique et ses Applications
- PZPaul Zimmermann
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Topics & keywords
- Rounding
- Computer science
- Double-precision floating-point format
- IEEE floating point
- Single-precision floating-point format
- Floating point
- Binary number
- Point (geometry)