Were fxquotient and fxremainder left out intentionally?
Is it worth supporting hypothetical non-twos-complement implementations?
What's the rationale for having some procedures (inequalities and min/max)n-ary, but others (arithmetic and bitwise operators) strictly binary?