Improve bounds calculation for divide-by-constant

Apply similar optimizations to those already found in
multiply-by-constant.
Merge pull request #200 from steven-johnson/master

Improve bounds calculation for divide-by-constant