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