IEEE quadruple exponents were off.