floating point bug fixed?

[Stephen Weeks]

> I'm assuming that the source and binary RPMs in the mlton-home.tgz file
> include the fix for the floating point bug that Anoq found, right? 

Yep.  Matthew checked it in, and make-rpms builds from the CVS.

> What about
> the fix to not set the max heap from the saved world?  It looks like it is
> but I wanted to make sure.

Yep.  I checked that in a while ago, but I haven't tested it, so it wouldn't
hurt to verify that it works.