From 4e600a243a486f496e56d63c2afcab60972ba458 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Wed, 29 Mar 2017 07:11:04 +0000
Subject: [PATCH] Expose bignum helper functions

---
 include/cyclone/runtime.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/cyclone/runtime.h b/include/cyclone/runtime.h
index 706275ef..272ff922 100644
--- a/include/cyclone/runtime.h
+++ b/include/cyclone/runtime.h
@@ -349,6 +349,9 @@ object Cyc_num_op_va_list(void *data, int argc,
                           object(fn_op(void *, common_type *, object)),
                           int default_no_args, int default_one_arg, object n,
                           va_list ns, common_type * buf);
+void Cyc_int2bignum(int n, mp_int *bn);
+object Cyc_bignum_normalize(void *data, object n);
+int Cyc_bignum_cmp(bn_cmp_type type, object x, int tx, object y, int ty);
 double MRG32k3a (double seed);
 /**@}*/
 /**