Comparison between Binary and Decimal Floating-Point Numbers

@article{Brisebarre2016ComparisonBB,
title={Comparison between Binary and Decimal Floating-Point Numbers},
author={Nicolas Brisebarre and Christoph Quirin Lauter and Marc Mezzarobba and Jean-Michel Muller},
journal={IEEE Transactions on Computers},
year={2016},
volume={65},
pages={2032-2044}
}

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… CONTINUE READING