[boost] When is an optimization justified. Was Re: [review] The review of Boost.DoubleEnded starts today: September 21 - September 30