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? 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.