Since a primary motivation of this SRFI is performance,
and variadic procedures are slow in many implementations,
it may be worth specifying fx- to always take 2 arguments,
and providing a fxneg (or fx-negate) for the unary case.

Is it worth specifying modular and saturating variants of
+, - and *?

-- 
Alex