(Doesn't currently get used because the deftransform that recodes multiplication as shift and add handles multiplication by constants.)
(Doesn't currently get used because the deftransform that recodes multiplication as shift and add handles multiplication by constants.)