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