Commits

Dave Abrahams committed 249c86e3764
Revert "[stdlib/prototype] multiprecision +/-: add rhs word shift" Turns out this isn't needed after all; the log-space algorithm given at https://en.wikipedia.org/wiki/Multiplication_algorithm#Space_complexity does it all without any full-width additions in the result. This reverts commit 635780fc13da0707ead05672a621049ae520a0aa.