Yes, there is definitely something wrong with the way ADS compares integers. I have JIRA'ed the issue.
I have also hacked together a quick solution and some tests that seem to suggest the fix works for now... I hope I can release the code soon, as I always have to check with the ETH as I am stuck in the middle of my MSc thesis. lorenz
