Re: MinInt (was: Bug? Identifier Integer sometimes fails)