void () { assertEquals(empty(), empty().div(all(), INT64)); assertEquals(empty(), all().div(empty(), INT64)); assertEquals(empty(), point(1).div(empty(), INT64)); assertEquals(empty(), point(1).div(point(3), INT64).div(empty(), INT64)); assertEquals(all(), all().div(all(), INT64)); assertEquals(empty(), all().div(point(0), INT64)); assertEquals(all(), all().div(point(1), INT64)); assertEquals(all(), all().div(point(-1), INT64)); assertEquals(point(11), point(110).div(point(10), INT64)); checkDiv(range(1, 20), range(1, 5), INT64, "{0..20}"); checkDiv(range(1, 20), range(-5, -1), INT64, "{-20..0}"); checkDiv(range(-20, -1), range(1, 5), INT64, "{-20..0}"); checkDiv(range(-20, -1), range(-5, -1), INT64, "{0..20}"); checkDiv(range(-10, 10), range(2, 4), INT64, "{-5..5}"); checkDiv(range(100, 120), range(-2, 2), INT64, "{-120..-50, 50..120}"); checkDiv(range(Integer.MIN_VALUE, Integer.MIN_VALUE + 20), range(-2, 2), INT64, "{Integer.MIN_VALUE..-1073741814, 1073741814..2147483648}"); checkDiv(range(Integer.MIN_VALUE, Integer.MIN_VALUE + 20), range(-2, 2), INT32, "{Integer.MIN_VALUE..-1073741814, 1073741814..Integer.MAX_VALUE}"); checkDiv(range(Integer.MIN_VALUE, Integer.MIN_VALUE + 20), range(-2, -1), INT64, "{1073741814..2147483648}"); checkDiv(range(Integer.MIN_VALUE, Integer.MIN_VALUE + 20), range(-2, -1), INT32, "{Integer.MIN_VALUE, 1073741814..Integer.MAX_VALUE}"); }