> You know what else I find odd? > > I rebuilt the same code under MacOS X. Supposedly, OCaml has a native code > generator for this platform, so I expected the results to be reversed. Native vs C codegen often won't matter in an IntInf intensive computation, since most of the time is spent in the bignum code. You could check with MLton's profiler to see if that is the case.