[boost] [serialization] round-trip serialization of float