[MLton] Real*.gdtoa not thread safe

[Henry Cejtin]

The Real*.gdtoa functions need to be made thread-safe (using One to make sure
that there isn't a collision on the decpt ref int).