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