[boost] Re: set arithmetic proposal