From 7cb76a6eb7b0d5b5a71c9cfb446acf3eff763006 Mon Sep 17 00:00:00 2001
From: Matthieu Monsch <1216372+mtth@users.noreply.github.com>
Date: Sat, 30 Mar 2024 10:05:42 -0700
Subject: [PATCH] Tighten safe long bounds (#457)

---
 lib/types.js       | 5 +++--
 test/test_types.js | 6 +++---
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/lib/types.js b/lib/types.js
index eae7868f..c1aba225 100644
--- a/lib/types.js
+++ b/lib/types.js
@@ -2987,10 +2987,11 @@ function readArraySize(tap) {
  *
  * + We are not using the `Number` constants for compatibility with older
  *   browsers.
- * + We must remove one from each bound because of rounding errors.
+ * + We divide the bounds by two to avoid rounding errors during zigzag encoding
+ *   (see https://github.com/mtth/avsc/issues/455).
  */
 function isSafeLong(n) {
-  return n >= -9007199254740990 && n <= 9007199254740990;
+  return n >= -4503599627370496 && n <= 4503599627370496;
 }
 
 /**
diff --git a/test/test_types.js b/test/test_types.js
index 0417c265..1f310108 100644
--- a/test/test_types.js
+++ b/test/test_types.js
@@ -131,8 +131,8 @@ suite('types', () => {
 
     let data = [
       {
-        valid: [1, -3, 12314, 9007199254740990, 900719925474090],
-        invalid: [null, 'hi', undefined, 9007199254740991, 1.3, 1e67]
+        valid: [1, -3, 12314, 4503599627370496],
+        invalid: [null, 'hi', undefined, 9007199254740990, 1.3, 1e67]
       }
     ];
 
@@ -145,7 +145,7 @@ suite('types', () => {
     test('resolve long > float', () => {
       let t1 = Type.forSchema('long');
       let t2 = Type.forSchema('float');
-      let n = 9007199254740990; // Number.MAX_SAFE_INTEGER - 1
+      let n = 4503599627370496; // Number.MAX_SAFE_INTEGER / 2
       let buf = t1.toBuffer(n);
       let f = t2.fromBuffer(buf, t2.createResolver(t1));
       assert(Math.abs(f - n) / n < 1e-7);