In porting my code to MLton, I had to cobble up a horrible replacement for the missing IntInf.log2. If it's not too much work, I would love to see an implementation in the next release. Thanks, Norman