===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/io/cio.c,v
retrieving revision 1.17
retrieving revision 1.19
diff -u -p -r1.17 -r1.19
--- OpenXM_contrib2/asir2000/io/cio.c	2015/08/12 10:45:12	1.17
+++ OpenXM_contrib2/asir2000/io/cio.c	2015/08/14 13:51:55	1.19
@@ -44,12 +44,12 @@
  * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
- * $OpenXM: OpenXM_contrib2/asir2000/io/cio.c,v 1.16 2015/08/06 10:01:52 fujimoto Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/io/cio.c,v 1.18 2015/08/13 00:13:03 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
 #include "ox.h"
-#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__)
+#if !defined(VISUAL) && !defined(__MINGW32__)
 #include <ctype.h>
 #endif
 
@@ -258,9 +258,9 @@ void write_cmo_bf(FILE *s,BF bf)
   write_int(s,&len);
   write_intarray(s,MPFR_MANT(bf->body),len);
 #else /* SIZEOF_LONG == 8 */
-  t = 2*len;
+  t = (MPFR_PREC(bf->body)+31)/32;
   write_int(s,&t);
-  write_longarray(s,MPFR_MANT(bf->body),len);
+  write_longarray(s,MPFR_MANT(bf->body),t);
 #endif
 }