Saw the last-call announcement - ran the implementation today & tests today.   It works quite well.

There's an extra definition for fxarithmetic-shift-right (that looks like an oversight to me).  My implementation flags these.

The document refers to fx+*/carry, but the library defines and exports fx*/carry at the moment.