Improve bounds calculation for divide-by-constant

Apply similar optimizations to those already found in
multiply-by-constant.