fix float serialization bug