* results can exceed 2^63.
         */
        long result = times2ToThe32Mod(aHi * bHi /* < 2^62 */, m); // < m < 2^63
        result += aHi * bLo; // aHi * bLo < 2^63, result < 2^64
        if (result < 0) {
          result = UnsignedLongs.remainder(result, m);
        }
        // result < 2^63 again
        result += aLo * bHi; // aLo * bHi < 2^63, result < 2^64

   */
  public static long divide(long dividend, long divisor) {
    if (divisor < 0) { // i.e., divisor >= 2^63:
      if (compare(dividend, divisor) < 0) {
        return 0; // dividend < divisor
      } else {
        return 1; // dividend >= divisor
      }
    }

    // Optimization - use signed division if dividend < 2^63
    if (dividend >= 0) {
      return dividend / divisor;
    }

    /*

  "durations" : [ {
    "testProject" : "largeJavaMultiProject",
    "linux" : 508,
    "windows" : 918,
    "macOs" : 263
  }, {
    "testProject" : "largeMonolithicJavaProject",
    "linux" : 1577
  } ]
}, {

	_ = x[ErrParseExpectedTokenType-259]
	_ = x[ErrParseExpected2TokenTypes-260]
	_ = x[ErrParseExpectedNumber-261]
	_ = x[ErrParseExpectedRightParenBuiltinFunctionCall-262]
	_ = x[ErrParseExpectedTypeName-263]
	_ = x[ErrParseExpectedWhenClause-264]
	_ = x[ErrParseUnsupportedToken-265]
	_ = x[ErrParseUnsupportedLiteralsGroupBy-266]
	_ = x[ErrParseExpectedMember-267]
	_ = x[ErrParseUnsupportedSelect-268]

    X247,
    X248,
    X249,
    X250,
    X251,
    X252,
    X253,
    X254,
    X255,
    X256,
    X257,
    X258,
    X259,
    X260,
    X261,
    X262,
    X263,
    X264,
    X265,
    X266,
    X267,
    X268,
    X269,
    X270,
    X271,
    X272,
    X273,
    X274,
    X275,
    X276,
    X277,
    X278,
    X279,

    // make sure the areas (times) remain the same, while permits are different
    assertEvents(
        "R0.00, R1.75, R1.26, R0.76, R0.30, R0.20, R0.20, R0.20", // #1
        "U4.20", // #2
        "R0.00, R1.75, R1.26", // #3, after that the rate changes
        "R0.76", // #4, this is what the throttling would be with the old rate
        "R0.20, R0.10, R0.10, R0.10", // #5
        "U4.10", // #6

    // make sure the areas (times) remain the same, while permits are different
    assertEvents(
        "R0.00, R1.75, R1.26, R0.76, R0.30, R0.20, R0.20, R0.20", // #1
        "U4.20", // #2
        "R0.00, R1.75, R1.26", // #3, after that the rate changes
        "R0.76", // #4, this is what the throttling would be with the old rate
        "R0.20, R0.10, R0.10, R0.10", // #5
        "U4.10", // #6

            if (buf.length() <= MAX_INTITEM_LENGTH) {
                // lower than 2^31
                return new IntItem(buf);
            } else if (buf.length() <= MAX_LONGITEM_LENGTH) {
                // lower than 2^63
                return new LongItem(buf);
            }
            return new BigIntegerItem(buf);
        }
        return new StringItem(buf, false);
    }

- login: Kludex
  count: 654
  avatarUrl: https://avatars.githubusercontent.com/u/7353520?u=df8a3f06ba8f55ae1967a3e2d5ed882903a4e330&v=4
  url: https://github.com/Kludex
- login: jgould22
  count: 263
  avatarUrl: https://avatars.githubusercontent.com/u/4335847?u=ed77f67e0bb069084639b24d812dbb2a2b1dc554&v=4
  url: https://github.com/jgould22
- login: dmontagu
  count: 240

    (1L << 53) + 2,
    (1L << 53) + 3,
    (1L << 53) + 4,
    1L << 54,
    (1L << 54) + 1,
    (1L << 54) + 2,
    (1L << 54) + 3,
    (1L << 54) + 4,
    0x7ffffffffffffe00L, // halfway between 2^63 and next-lower double
    0x7ffffffffffffe01L, // above + 1
    0x7ffffffffffffdffL, // above - 1
    Long.MAX_VALUE - (1L << 11) + 1,
    Long.MAX_VALUE - 2,
    Long.MAX_VALUE - 1,
    Long.MAX_VALUE,
    -16,