Change float encoding to IEEE-754

GaloisInc · Aug 14, 2015 · 47d8396 · 47d8396
1 parent 4eac99b
commit 47d8396
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Data/Serialize.hs b/src/Data/Serialize.hs
@@ -494,12 +494,12 @@ instance (Serialize e) => Serialize (Seq.Seq e) where
 -- Floating point
 
 instance Serialize Double where
-    put d = put (decodeFloat d)
-    get   = liftM2 encodeFloat get get
+    put = putFloat64be
+    get = getFloat64be
 
 instance Serialize Float where
-    put f = put (decodeFloat f)
-    get   = liftM2 encodeFloat get get
+    put = putFloat32be
+    get = getFloat32be
 
 ------------------------------------------------------------------------
 -- Trees