cleanup Int.Cmp