FLT_HAS_SUBNORM is 0: subnormal normal can produce subnormal?

Question

ISO/IEC 9899:202x (E) working draft — February 5, 2020 C17..C2x N2479:

The presence or absence of subnormal numbers is characterized by the implementatio