Yeah, those two are equal. Parsing it may actually result in a different float, but rounding works for both serialization and deserialization.