[Bug 7807] 3dmark03 crashes:denormal float operand in 32-bit code (0x0042504a)