[MLton] The PackWord performance regression on the 64-bit branch

[Henry Cejtin]

Note, the PackRealBig.toBytes is pretty much what you have to use to compute
a hash function on real values, so performance on this can be important.