Comparison between binary and decimal floating-point numbers - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2014

Comparison between binary and decimal floating-point numbers

Résumé

We introduce an algorithm to compare a binary floating-point (FP) number and a decimal FP number, assuming the "binary encoding" of the decimal formats is used, and with a special emphasis on the basic interchange formats specified by the IEEE 754-2008 standard for FP arithmetic. It is a two-step algorithm: a first pass, based on the exponents only, quickly eliminates most cases, then, when the first pass does not suffice, a more accurate second pass is performed. We provide an implementation of several variants of our algorithm, and compare them.
Fichier principal
Vignette du fichier
Compar-IEEETC.pdf (225.33 Ko) Télécharger le fichier
compbindec-2.0.tar.xz (7.05 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Format Autre

Dates et versions

hal-01021928 , version 1 (09-07-2014)
hal-01021928 , version 2 (25-06-2015)

Identifiants

  • HAL Id : hal-01021928 , version 1

Citer

Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. 2014. ⟨hal-01021928v1⟩
641 Consultations
2360 Téléchargements

Partager

More