Re: [boost] [serialization]Double rounding bug?