Entry of fl-greatest and fl-least reads:

    Bound to the largest/smallest finite flonum. (e.g. C99 DBL_MAX and C11 DBL_TRUE_MIN)

Although it is implied by the C99 reference, it may be clearer if it says "the largest/smallest positive finite flonum".  I think it doesn't count as change of spec but just a clarification.