--- ocaml-3.12.0.orig/byterun/ints.c	2011-06-25 18:03:21.548733206 +0200
+++ ocaml-3.12.0/byterun/ints.c	2011-06-25 22:34:17.304788306 +0200
@@ -585,6 +585,9 @@
   return caml_copy_int64(u.i);
 }
 
+#ifdef _ABIN32
+__attribute__((optimize(0)))
+#endif
 CAMLprim value caml_int64_float_of_bits(value vi)
 {
   union { double d; int64 i; int32 h[2]; } u;