Skip to Main content Skip to Navigation
Conference papers

Comparison between binary64 and decimal64 floating-point numbers

Abstract : We introduce an algorithm that allows one to quickly compare a binary64 floating-point (FP) number and a decimal64 FP number, assuming the "binary encoding" of the decimal formats specified by the IEEE 754-2008 standard for FP arithmetic is used. It is a two-step algorithm: a first pass, based on the exponents only, makes it possible to quickly eliminate most cases, then when the first pass does not suffice, a more accurate second pass is required. We provide an implementation of several variants of our algorithm, and compare them.
Document type :
Conference papers
Complete list of metadata

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881
Contributor : Jean-Michel Muller Connect in order to contact the contributor
Submitted on : Wednesday, October 3, 2012 - 10:00:19 AM
Last modification on : Monday, May 16, 2022 - 4:58:02 PM
Long-term archiving on: : Friday, January 4, 2013 - 3:56:22 AM

File

Compar-Hal-Version.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : ensl-00737881, version 1

Citation

Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.8. ⟨ensl-00737881v1⟩

Share

Metrics

Record views

838

Files downloads

840