Ah, I read this but didn't know what theNum type was in OCaml. I'm certainly glad that the optimization for small IntInf.int's is paying off by a lot. Still, the fact that OCaml was so much slower on the simple Int array stuff is very strange. Perhaps this would cause Graham to switch to MLton, which would be very nice.