@normalize_types<EOL><INDENT>def udiv(self, o):<DEDENT>
<EOL>splitted_dividends = self._ssplit()<EOL>splitted_divisors = o._ssplit()<EOL>resulting_intervals = set()<EOL>for dividend in splitted_dividends:<EOL><INDENT>for divisor in splitted_divisors:<EOL><INDENT>tmp = self._wrapped_unsigned_div(dividend, divisor)<EOL>resulting_intervals.add(tmp)<EOL><DEDENT><DEDENT>return StridedInterval.least_upper_bound(*resulting_intervals).normalize()<EOL>
Binary operation: unsigned division

:param o: The divisor
:return: (self / o) in unsigned arithmetic