Let's say you know the input is an exact multiple of your integer divisor. Does that let you come up with a smaller div-by-mul constant?
EDIT: I don't mean a reciprocal inverse mod 2^w, but literally a fixed point div by mul (which also avoids the need to ensure the divisor is odd).