Ok thanks. Please make sure that you are using the latest ADS branch (trunk I believe) to provide your patches. This way we can make the changes fast and get our a release with the fixes you need.
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