when the RHS is an integer, because the fixed_width of the RHS is
 itself an integer.
 
-A special case of this also occurs in instances where all elwidths
+For certain operators (mul, shift) a special case of this also occurs in instances where all elwidths
 in all partitions on either LHS or RHS are identical: element widths {3,3,3,3} for
 example.  Under such special circumstances, multiply would
 function correctly even for dual-priority, due to uniform scaling.