[MLton] Factoring fun

[Matthew Fluet]

> In case anyone is interested in benchmarking MLton vs. other SML compilers
> with a simple factoring algorithm, attached is factor.sml. 
...
> This program is intentionally unoptimized; I wanted to see how well MLton
> managed with human-friendly code. Not bad. =)

I suspect that any speed MLton has over other SML compilers is due 
entirely to the GnuMP library, which is used for all LargeInt operations 
(that actually require more than 31 bits).  AFAIK, all the other SML 
compilers have fairly naive representations of LargeInt.int.