Add additional Bounds constraints on divide-by-constant

Minor optimization, similar to the one already for Multiply