Implement udiv for ConstantRanges.