I tried the stock AMD-64 version of MLton 20070826 on all the current int- inf.* things and got no errors. I'll compile the latest SVN with -debug true and see if that is any more revealing.