Redundant-Digit Floating-Point Addition Scheme Based on a Stored Rounding Value | IEEE Journals & Magazine | IEEE Xplore