Small change to Int.div and Int.mod to improve code particular when the divisor is a constant.
Small change to Int.div and Int.mod to improve code particular when the divisor is a constant.

dcjm/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml