A comparison of three rounding algorithms for IEEE floating-point multiplication | IEEE Journals & Magazine | IEEE Xplore