From ecac253a4002f51a107552fcefc5b2f2aec9dae4 Mon Sep 17 00:00:00 2001
From: Gregor <gregor.mitscha-baude@gmx.at>
Date: Wed, 21 Aug 2024 14:32:31 +0200
Subject: [PATCH] int64 to bigint

---
 src/lib/provable/int.ts | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/src/lib/provable/int.ts b/src/lib/provable/int.ts
index e919b17a9..15c64c624 100644
--- a/src/lib/provable/int.ts
+++ b/src/lib/provable/int.ts
@@ -1147,14 +1147,22 @@ class Int64 extends CircuitValue implements BalanceChange {
     return Int64.create(UInt64.from(obj.magnitude), Sign.fromValue(obj.sgn));
   }
 
+  /**
+   * Turns the {@link Int64} into a {@link BigInt}.
+   */
+  toBigint() {
+    let abs = this.magnitude.toBigInt();
+    let sgn = this.sgn.isPositive().toBoolean() ? 1n : -1n;
+    return sgn * abs;
+  }
+
   /**
    * Turns the {@link Int64} into a string.
    */
   toString() {
-    let abs = this.magnitude.toString();
-    let sgn = this.isPositive().toBoolean() || abs === '0' ? '' : '-';
-    return sgn + abs;
+    return this.toBigint().toString();
   }
+
   isConstant() {
     return this.magnitude.value.isConstant() && this.sgn.isConstant();
   }