From 80359aa96e87141c5ab842c0fd501646baa1050c Mon Sep 17 00:00:00 2001
From: Dave Hylands <dhylands@gmail.com>
Date: Tue, 1 Apr 2014 11:01:55 -0700
Subject: [PATCH] Fix INT_BUF_SIZE to work with 32-bit and 64-bit

---
 py/pfenv.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/py/pfenv.c b/py/pfenv.c
index 07f35c335c..018870158e 100644
--- a/py/pfenv.c
+++ b/py/pfenv.c
@@ -71,8 +71,9 @@ int pfenv_print_strn(const pfenv_t *pfenv, const char *str, unsigned int len, in
     return len;
 }
 
-// enough room for 32 signed number
-#define INT_BUF_SIZE (16)
+// 32-bits is 10 digits, add 3 for commas, 1 for sign, 1 for terminating null
+// We can use 16 characters for 32-bit and 32 characters for 64-bit
+#define INT_BUF_SIZE (sizeof(machine_int_t) * 4)
 
 int pfenv_print_int(const pfenv_t *pfenv, unsigned int x, int sgn, int base, int base_char, int flags, char fill, int width) {
     char sign = 0;