I'm confused about overflow detection in MLton. If I don't define DETECT_OVERFLOW to be TRUE then it is FALSE and so things like Int_mul are NOT redefined to be Int_mulCheck so overflow detection will NOT happen. Despite that, I compiled some code (using Int.int's) and it DID get an overflow exception. How did this happen? Also, shouldn't DETECT_OVERFLOW default to TRUE?