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