diff --git a/tests/FArith.hs b/tests/FArith.hs
index f44f2b7f..35b080a1 100644
--- a/tests/FArith.hs
+++ b/tests/FArith.hs
@@ -8,7 +8,7 @@ readDouble = read
 -- We only use values that can be represented exactly.
 
 list1 :: [Double]
-list1 = [-100.25::Double, -53.25::Double, 0.0::Double, 1.0::Double, 1.125::Double, 1.0e4::Double]
+list1 = [-100.5::Double, -53.25::Double, 0.0::Double, 1.0::Double, 1.125::Double, 1.0e3::Double]
 
 main :: IO ()
 main = do
diff --git a/tests/FArith.ref b/tests/FArith.ref
index b413816f..116b705b 100644
--- a/tests/FArith.ref
+++ b/tests/FArith.ref
@@ -1,6 +1,6 @@
-[-200.5,0.0,10050.0625,-153.5,-47.0,5338.3125,-100.25,-100.25,-0.0,-99.25,-101.25,-100.25,-99.125,-101.375,-112.78125,9899.75,-10100.25,-1002500.0,-153.5,47.0,5338.3125,-106.5,0.0,2835.5625,-53.25,-53.25,-0.0,-52.25,-54.25,-53.25,-52.125,-54.375,-59.90625,9946.75,-10053.25,-532500.0,-100.25,100.25,-0.0,-53.25,53.25,-0.0,0.0,0.0,0.0,1.0,-1.0,0.0,1.125,-1.125,0.0,10000.0,-10000.0,0.0,-99.25,101.25,-100.25,-52.25,54.25,-53.25,1.0,1.0,0.0,2.0,0.0,1.0,2.125,-0.125,1.125,10001.0,-9999.0,10000.0,-99.125,101.375,-112.78125,-52.125,54.375,-59.90625,1.125,1.125,0.0,2.125,0.125,1.125,2.25,0.0,1.265625,10001.125,-9998.875,11250.0,9899.75,10100.25,-1002500.0,9946.75,10053.25,-532500.0,10000.0,10000.0,0.0,10001.0,9999.0,10000.0,10001.125,9998.875,11250.0,20000.0,0.0,100000000.0]
+[-201.0,0.0,10100.25,-153.75,-47.25,5351.625,-100.5,-100.5,-0.0,-99.5,-101.5,-100.5,-99.375,-101.625,-113.0625,899.5,-1100.5,-100500.0,-153.75,47.25,5351.625,-106.5,0.0,2835.5625,-53.25,-53.25,-0.0,-52.25,-54.25,-53.25,-52.125,-54.375,-59.90625,946.75,-1053.25,-53250.0,-100.5,100.5,-0.0,-53.25,53.25,-0.0,0.0,0.0,0.0,1.0,-1.0,0.0,1.125,-1.125,0.0,1000.0,-1000.0,0.0,-99.5,101.5,-100.5,-52.25,54.25,-53.25,1.0,1.0,0.0,2.0,0.0,1.0,2.125,-0.125,1.125,1001.0,-999.0,1000.0,-99.375,101.625,-113.0625,-52.125,54.375,-59.90625,1.125,1.125,0.0,2.125,0.125,1.125,2.25,0.0,1.265625,1001.125,-998.875,1125.0,899.5,1100.5,-100500.0,946.75,1053.25,-53250.0,1000.0,1000.0,0.0,1001.0,999.0,1000.0,1001.125,998.875,1125.0,2000.0,0.0,1000000.0]
 [True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True]
-[-100.25,6.265625,-1604.0,-53.25,3.328125,-852.0,0.0,-0.0,0.0,1.0,-0.0625,16.0,1.125,-0.0703125,18.0,10000.0,-625.0,160000.0]
+[-100.5,6.28125,-1608.0,-53.25,3.328125,-852.0,0.0,-0.0,0.0,1.0,-0.0625,16.0,1.125,-0.0703125,18.0,1000.0,-62.5,16000.0]
 1.625
 3.5
 [15000.0,1.25]