X-Git-Url: http://nitlanguage.org

diff --git a/tests/sav/fibonacci_word.res b/tests/sav/fibonacci_word.res
index 38a9498..dfb2522 100644
--- a/tests/sav/fibonacci_word.res
+++ b/tests/sav/fibonacci_word.res
@@ -1,37 +1,37 @@
 1	1	0.0000000000000000	1
 2	1	0.0000000000000000	0
 3	2	1.0000000000000000	01
-4	3	0.9182958340544894	010
+4	3	0.9182958340544896	010
 5	5	0.9709505944546686	01001
-6	8	0.9544340029249650	01001010
+6	8	0.9544340029249649	01001010
 7	13	0.9612366047228760	0100101001001
-8	21	0.9587118829771316	010010100100101001010
-9	34	0.9596868937742170	0100101001001010010100100101001001
-10	55	0.9593160320543778	...
+8	21	0.9587118829771318	010010100100101001010
+9	34	0.9596868937742169	0100101001001010010100100101001001
+10	55	0.9593160320543777	...
 11	89	0.9594579158386696	...
-12	144	0.9594037542210228	...
-13	233	0.9594244469559864	...
-14	377	0.9594165437404406	...
-15	610	0.9594195626031440	...
-16	987	0.9594184095152248	...
-17	1597	0.9594188499578102	...
-18	2584	0.9594186817240320	...
+12	144	0.9594037542210230	...
+13	233	0.9594244469559867	...
+14	377	0.9594165437404407	...
+15	610	0.9594195626031441	...
+16	987	0.9594184095152245	...
+17	1597	0.9594188499578099	...
+18	2584	0.9594186817240321	...
 19	4181	0.9594187459836638	...
-20	6765	0.9594187214386752	...
-21	10946	0.9594187308140276	...
-22	17711	0.9594187272329618	...
-23	28657	0.9594187286008076	...
-24	46368	0.9594187280783368	...
-25	75025	0.9594187282779028	...
-26	121393	0.9594187282016752	...
-27	196418	0.9594187282307916	...
+20	6765	0.9594187214386756	...
+21	10946	0.9594187308140278	...
+22	17711	0.9594187272329620	...
+23	28657	0.9594187286008073	...
+24	46368	0.9594187280783371	...
+25	75025	0.9594187282779029	...
+26	121393	0.9594187282016755	...
+27	196418	0.9594187282307918	...
 28	317811	0.9594187282196702	...
-29	514229	0.9594187282239182	...
-30	832040	0.9594187282222962	...
+29	514229	0.9594187282239184	...
+30	832040	0.9594187282222959	...
 31	1346269	0.9594187282229156	...
-32	2178309	0.9594187282226794	...
-33	3524578	0.9594187282227690	...
-34	5702887	0.9594187282227344	...
-35	9227465	0.9594187282227478	...
-36	14930352	0.9594187282227430	...
+32	2178309	0.9594187282226789	...
+33	3524578	0.9594187282227691	...
+34	5702887	0.9594187282227347	...
+35	9227465	0.9594187282227479	...
+36	14930352	0.9594187282227429	...
 37	24157817	0.9594187282227448	...