Re: [Boost-users] interval library: simple rounding control?