[MLton] IntInf implementation questions

[Henry Cejtin]

Re point 3, certainly the reason is that originally overflow wasn't handled.
It was just an error (or ignored).