[boost] Re: Re: Re: Re: Proposal: type-promoting arithmeticsforderivativetypes