gmp

[Matthew Fluet]

GMP 4.0 was released on 2001-12-01.  Dropping it's libgmp.a in yields:

MLton0 -- mlton-stable  -- checked in sources
MLton1 -- mlton         -- checked in sources with new libgmp.a
compile time
benchmark         MLton0 MLton1
smith-normal-form   7.06   7.04
run time
benchmark         MLton0 MLton1
smith-normal-form   0.97   0.66
run time ratio
benchmark         MLton1
smith-normal-form   0.69
size
benchmark          MLton0  MLton1
smith-normal-form 146,069 167,876