(__mpn_extract_long_double): Handle 80-bit denormalized numbers correct.