> There seems to be a problem with IntInf shifts. Can you send some SML code demonstrating the problem? I'm not aware of any bugs there.