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