diff --git a/tests/interpretation_acasxu.t b/tests/interpretation_acasxu.t
index 64a36be28009baf0edb92483b1e3fd1f52b22e5f..daac6bfda65083218cc825d9bb29455f745eaebb 100644
--- a/tests/interpretation_acasxu.t
+++ b/tests/interpretation_acasxu.t
@@ -33,7 +33,7 @@ Test interpret on acasxu
   >   constant strong_left: action = 3
   >   constant strong_right: action = 4
   > 
-  >   constant pi: t = 3.141592999999999857863031138549558818340301513671875
+  >   constant pi: t = 3.141592653589793115997963468544185161590576171875000
   > 
   >   predicate valid_input (i: input) =
   >     (0.0:t) .<= i[distance_to_intruder] .<= (60760.0:t)