Mark Lord seemed pretty certain about the modulo-4096 thing when he reported it. So I'm going to let you two fight it out.
Well, I think we all agree that the bug is no longer there. I think Mark Lord and I have agreed to disagree on whether it was ever there...

Peter