Extend CHOOSE-CEILING/FLOOR-MULTIPLIER.

These functions can now be used to replace ceilinged/floored
multiplication by A/Y.