[boost] [serialization] How are floating point values handled?