Useful applications of correctly-rounded operators of the form ab + cd + e | IEEE Conference Publication | IEEE Xplore