add: to_json fo BigInt and BigNum

Author: marcusbfs

conway-cddl/yaml/custom/bigint.yaml

@@ -15,6 +15,14 @@ CSLBigInt:
       return this.toJsValue().toString();
     }
 
+    to_json(): String {
+      return "\"" + this.to_str() + "\"";
+    }
+
+    toJSON(): String {
+      return this.to_json()
+    }
+
     static zero(): CSLBigInt {
       return new CSLBigInt(0n);
     }

conway-cddl/yaml/custom/bignum.yaml

@@ -20,6 +20,14 @@ BigNum:
       return this.toJsValue().toString();
     }
 
+    to_json(): String {
+      return "\"" + this.to_str() + "\"";
+    }
+
+    toJSON(): String {
+      return this.to_json();
+    }
+
     static zero(): BigNum {
       return new BigNum(0n);
     }

src/generated.ts

@@ -1367,6 +1367,14 @@ export class BigNum {
     return this.toJsValue().toString();
   }
 
+  to_json(): String {
+    return '"' + this.to_str() + '"';
+  }
+
+  toJSON(): String {
+    return this.to_json();
+  }
+
   static zero(): BigNum {
     return new BigNum(0n);
   }
@@ -2212,6 +2220,14 @@ export class CSLBigInt {
     return this.toJsValue().toString();
   }
 
+  to_json(): String {
+    return '"' + this.to_str() + '"';
+  }
+
+  toJSON(): String {
+    return this.to_json();
+  }
+
   static zero(): CSLBigInt {
     return new CSLBigInt(0n);
   }