Bug 52488, floating point denormal exception