(fl+ x)
(fl* x)
should be (fl+ x ...) and (fl* x ...) respectively.
Regarding flabsdiff, you refer to C99 fdim, but unlike every other useful suggestion offered, fdim does not appear to be useful here (ie. fdim(-10.0,10.0) => 0).
flsgn refers to "flcopy-sign", which was previously spelled "flcopysign"
fllog1+ , "Equivalent to (fllog (fl+ 1 x)), but ..." fl+ requires flonum arguments, but 1 is an exact integer. Change to 1.0, or (flonum 1).
..except that atan2 does not return the same thing as atan(y/x).
Also, the spec suggests that y is the second argument to flatan, but "y" is conventionally the first argument to atan2.