I don't have any qualms about the GMP code being in all MLton executables. It is the dependence on the shared library being on the target machine that I find (slightly) disturbing. Still, it could be on enough machines now that it isn't a big deal.