use strict equals in integer wraparound samples

This makes this sample usable with older implementations

biscuit-auth/examples/testcases.rs

@@ -1936,9 +1936,9 @@ fn integer_wraparound(target: &str, root: &KeyPair, test: bool) -> TestResult {
 
     let biscuit = biscuit!(
         r#"
-          check if 10000000000 * 10000000000 != 0;
-          check if 9223372036854775807 + 1 != 0;
-          check if -9223372036854775808 - 1 != 0;
+          check if 10000000000 * 10000000000 !== 0;
+          check if 9223372036854775807 + 1 !== 0;
+          check if -9223372036854775808 - 1 !== 0;
     "#
     )
     .build_with_rng(&root, SymbolTable::default(), &mut rng)

biscuit-auth/samples/README.md

@@ -2257,9 +2257,9 @@ symbols: []
 public keys: []
 
 ```
-check if 10000000000 * 10000000000 != 0;
-check if 9223372036854775807 + 1 != 0;
-check if -9223372036854775808 - 1 != 0;
+check if 10000000000 * 10000000000 !== 0;
+check if 9223372036854775807 + 1 !== 0;
+check if -9223372036854775808 - 1 !== 0;
 ```
 
 ### validation
@@ -2270,7 +2270,7 @@ allow if true;
 ```
 
 revocation ids:
-- `846fbe9e7ad3581eada5d33475fb6362e83a526c5d3c7c1c6c063e8dc512485f1ec9f876d9e83d6d335e79b35e7be38b728c1b3583a6d56dd85b104c2e4f4404`
+- `fb5e7ac2bb892f5cf2fb59677cfad1f96deabbc8e158e3fd1b5ee7c4b6949c999e2169187cbee53b943eebdadaaf68832747baa8cffa2ff9f78025a1f55f440c`
 
 authorizer world:
 ```
@@ -2283,9 +2283,9 @@ World {
             0,
         ),
         checks: [
-            "check if -9223372036854775808 - 1 != 0",
-            "check if 10000000000 * 10000000000 != 0",
-            "check if 9223372036854775807 + 1 != 0",
+            "check if -9223372036854775808 - 1 !== 0",
+            "check if 10000000000 * 10000000000 !== 0",
+            "check if 9223372036854775807 + 1 !== 0",
         ],
     },
 ]

biscuit-auth/samples/samples.json

@@ -2103,7 +2103,7 @@
           "symbols": [],
           "public_keys": [],
           "external_key": null,
-          "code": "check if 10000000000 * 10000000000 != 0;\ncheck if 9223372036854775807 + 1 != 0;\ncheck if -9223372036854775808 - 1 != 0;\n"
+          "code": "check if 10000000000 * 10000000000 !== 0;\ncheck if 9223372036854775807 + 1 !== 0;\ncheck if -9223372036854775808 - 1 !== 0;\n"
         }
       ],
       "validations": {
@@ -2115,9 +2115,9 @@
               {
                 "origin": 0,
                 "checks": [
-                  "check if -9223372036854775808 - 1 != 0",
-                  "check if 10000000000 * 10000000000 != 0",
-                  "check if 9223372036854775807 + 1 != 0"
+                  "check if -9223372036854775808 - 1 !== 0",
+                  "check if 10000000000 * 10000000000 !== 0",
+                  "check if 9223372036854775807 + 1 !== 0"
                 ]
               }
             ],
@@ -2132,7 +2132,7 @@
           },
           "authorizer_code": "allow if true;\n",
           "revocation_ids": [
-            "846fbe9e7ad3581eada5d33475fb6362e83a526c5d3c7c1c6c063e8dc512485f1ec9f876d9e83d6d335e79b35e7be38b728c1b3583a6d56dd85b104c2e4f4404"
+            "fb5e7ac2bb892f5cf2fb59677cfad1f96deabbc8e158e3fd1b5ee7c4b6949c999e2169187cbee53b943eebdadaaf68832747baa8cffa2ff9f78025a1f55f440c"
           ]
         }
       }