Re: [boost] stream operators for number