From 5133e04c3928d77f63afaca0cf297895804c7e51 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Mon, 28 Oct 2013 00:33:24 +0900
Subject: [PATCH] bugfix in pic_get_args

---
 src/vm.c | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/src/vm.c b/src/vm.c
index 9c30c044..cefae199 100644
--- a/src/vm.c
+++ b/src/vm.c
@@ -53,8 +53,17 @@ pic_get_args(pic_state *pic, const char *format, ...)
 
 	f = va_arg(ap, double *);
 	if (i < argc) {
-	  *f = pic_float(GET_OPERAND(pic,i));
-	  i++;
+	  pic_value v;
+
+	  v = GET_OPERAND(pic, i);
+	  if (pic_type(v) == PIC_TT_FLOAT) {
+	    *f = pic_float(v);
+	    i++;
+	  }
+	  else {
+	    *f = pic_int(v);
+	    i++;
+	  }
 	}
       }
       break;