> Below are the 2 reasons I could think of for not seeing the collision detector bug:

I wouldn't be surprised if floating point on an AXP emulator doesn't always match behavior on real chips...