On the distribution of exponent differences during floating point addition | IEEE Conference Publication | IEEE Xplore