And this is another nitpick...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.