[boost] Re: Numeric.Interval on CW 9.5