Re: [boost] sorting floats by casting to integer