[MLton-user] Raw conversion of 32 bits into Real32.t

[Henry Cejtin]

Yes, the whole point I sent some E-mail out about test-and-swap is that it
is trivial to use it in a more efficient implementation of One, and then
it really is dirt cheap.