I propose the following post-finalization errata for SRFI 144:

    The second sentence of the "Specification" section should be deleted
    because it is contradicted by R7RS sections 6.1 and 6.2.6.  (Although
    +0.0 and -0.0 are the same in the sense of =, they might not be the
    same in the sense of eqv? because they can yield different results
    when passed as the first argument to atan.)

    The parenthetical remark in the specifications of fl-greatest and
    fl-least should be changed from "(C99 DBL_MAX and its negation)" to
    "(e.g. C99 DBL_MAX and C11 DBL_TRUE_MIN)".

The "e.g." in that second erratum allows precisions other than double.

Will