From 47d839609413e3e9d1147b99c34ae421ae36bced Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Fri, 14 Aug 2015 11:31:41 -0700
Subject: [PATCH] Change float encoding to IEEE-754

---
 src/Data/Serialize.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Data/Serialize.hs b/src/Data/Serialize.hs
index 7d4f72a..fc53297 100644
--- 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