More macrology to reduce code duplication. Polishing.

I found out how to nest MACROLETs, so that the specialization of the
code for fixnum respectively generic arithmetic can be done with
slightly less code duplication.

Rename the central macro, add a comment to it, and revise the function's
comment.