diff -r f1333a841b26 -r cbf2c5cf335e src/Pure/ML-Systems/mosml.ML
--- a/src/Pure/ML-Systems/mosml.ML	Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/mosml.ML	Sun Sep 16 14:52:32 2007 +0200
@@ -19,6 +19,8 @@
 
 (** ML system related **)
 
+val ml_system_fix_ints = false;
+
 load "Obj";
 load "Bool";
 load "Int";