Prenormalization rounding in IEEE floating-point operations using a flagged prefix adder | IEEE Journals & Magazine | IEEE Xplore