[boost] [interval] Re: suggestions and minor doc error