[Boost-users] [serialization] Deserialization of a float whose value is infinite throws an archive_exception ("stream error")