gmp

[Matthew Fluet]

> > GMP 4.0 was released on 2001-12-01.  Dropping it's libgmp.a in
> > yields:
> 
> Well worth it.  I'll probably do the gmp stuff very soon.

Well, here's one thing to keep in mind.  Looking at the docs suggest that
you really want to compile the sources for your particular target arch.  I
don't know how big the diffs are between various x86 flavors, but it might
be worthwhile to set things up to use the /usr/lib/libgmp.a by default,
and a base x86 version to ship with mlton.