diff --git a/kat_test/random/reference/michelson-af.out b/kat_test/random/reference/michelson-af.out
index d7e8b46ab29800bb7416199d362ac4db944818d6..914c559e5d0dec75a235a2b9c83cd7ca767ccc89 100644
--- a/kat_test/random/reference/michelson-af.out
+++ b/kat_test/random/reference/michelson-af.out
@@ -1,2 +1,2 @@
- 1.00000000000000  3.65850431414814e-17 
- 1.00000000000000  3.65850431414814e-17 
+ 1.00000000000000  0.00127579252220027 
+ 1.00000000000000  0.00127579252220027 
\ No newline at end of file
diff --git a/kat_test/random/reference/michelson.out b/kat_test/random/reference/michelson.out
index 040356a9df94b1da7f35521a2b1c55d8186bf1bf..4c1109b4b4e3b62e737c19918655a66da638a0f6 100644
--- a/kat_test/random/reference/michelson.out
+++ b/kat_test/random/reference/michelson.out
@@ -1,2 +1,2 @@
- 1.00000000000000  0.0623120617774898  0.0414548679983738  8.97849952541578e-12 
- 1.00000000000000  0.0623120617774898  0.0414548679983738  8.97849952541578e-12 
+ 1.00000000000000  0.0623120616837155  0.0414548679983738  8.97849952541578e-12 
+ 1.00000000000000  0.0623120616837155  0.0414548679983738  8.97849952541578e-12 
\ No newline at end of file
diff --git a/kat_test/random/reference/shot1.out b/kat_test/random/reference/shot1.out
index 97863b80358870e8c50a4bea0ea88efb2dbc26e6..acf11dbe05f7f8eba69e1c5da0acf38bd6253eeb 100644
--- a/kat_test/random/reference/shot1.out
+++ b/kat_test/random/reference/shot1.out
@@ -1,11 +1,11 @@
- 0.100000000000000  3.65850431414814e-17 
- 0.158489319246110  3.65850431414814e-17 
- 0.251188643150953  3.65850431414814e-17 
- 0.398107170553486  3.65850431414814e-17 
- 0.630957344480170  3.65850431414814e-17 
- 0.999999999999955  3.65850431414814e-17 
- 1.58489319246103  3.65850431414815e-17 
- 2.51188643150942  3.65850431414815e-17 
- 3.98107170553468  3.65850431414815e-17 
- 6.30957344480142  3.65850431414815e-17 
- 10.0000000000000  3.65850431414817e-17 
+ 0.100000000000000  0.00127579252220027 
+ 0.158489319246110  0.00127579252220027 
+ 0.251188643150953  0.00127579252220027 
+ 0.398107170553486  0.00127579252220027 
+ 0.630957344480170  0.00127579252220027 
+ 0.999999999999955  0.00127579252220027 
+ 1.58489319246103  0.00127579252220027 
+ 2.51188643150942  0.00127579252220027 
+ 3.98107170553468  0.00127579252220027 
+ 6.30957344480142  0.00127579252220027 
+ 10.0000000000000  0.00127579252220028 
\ No newline at end of file