Biased Exponents Encoding With Positive Zero When Comparing Absolute Values of Floating-Point Numbers | IEEE Conference Publication | IEEE Xplore