Symbol: DBL_HAS_SUBNORM