diff --git a/annotations/src/main/resources/META-INF/annotations.json b/annotations/src/main/resources/META-INF/annotations.json
index 40a3dbd11..236bb9103 100644
--- a/annotations/src/main/resources/META-INF/annotations.json
+++ b/annotations/src/main/resources/META-INF/annotations.json
@@ -2,5 +2,5 @@
     "name": "annotations",
     "description": "Standard VDMJ Annotations",
     "dialects": [ "vdmsl", "vdmpp", "vdmrt" ],
-    "precision": "standard"
+    "precision": "high"
 }
\ No newline at end of file
diff --git a/annotations2/src/main/resources/META-INF/annotations.json b/annotations2/src/main/resources/META-INF/annotations.json
index a7a94debb..d56a68481 100644
--- a/annotations2/src/main/resources/META-INF/annotations.json
+++ b/annotations2/src/main/resources/META-INF/annotations.json
@@ -2,5 +2,5 @@
     "name": "annotations2",
     "description": "Experimental VDMJ Annotations",
     "dialects": [ "vdmsl", "vdmpp", "vdmrt" ],
-    "precision": "standard"
+    "precision": "high"
 }
\ No newline at end of file