Re: [boost] [multiprecision] Proposal for enhancing cpp_int multiplication