unsigned_divide_with_remainder :: ( u: U128, v: U128 ) -> (quotient: U128, remainder: U128, overflow_or_divide_by_zero: bool)