* 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

         * 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

	SYS_TIMER_SETTIME          = 4258
	SYS_TIMER_GETTIME          = 4259
	SYS_TIMER_GETOVERRUN       = 4260
	SYS_TIMER_DELETE           = 4261
	SYS_CLOCK_SETTIME          = 4262
	SYS_CLOCK_GETTIME          = 4263
	SYS_CLOCK_GETRES           = 4264
	SYS_CLOCK_NANOSLEEP        = 4265
	SYS_TGKILL                 = 4266
	SYS_UTIMES                 = 4267
	SYS_MBIND                  = 4268
	SYS_GET_MEMPOLICY          = 4269

	VESLG  $24, T_1, T_1              // [h₆₄[2]<<24, 0]
	VERIMG $-26&63, T_3, MOD26, H_1   // [h₂₆[1], r₂₆[1]]
	VESRLG $+52&63, T_3, H_2          // [h₂₆[2], r₂₆[2]] - low 12 bits only
	VERIMG $-14&63, T_4, MOD26, H_3   // [h₂₆[1], r₂₆[1]]
	VESRLG $40, T_4, H_4              // [h₂₆[4], r₂₆[4]] - low 24 bits only
	VERIMG $+12&63, T_4, T_0, H_2     // [h₂₆[2], r₂₆[2]] - complete
	VO     T_1, H_4, H_4              // [h₂₆[4], r₂₆[4]] - complete

   */
  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;
    }

    /*

	58:          {_SigNotify, "signal 58"},
	59:          {_SigNotify, "signal 59"},
	60:          {_SigNotify, "signal 60"},
	61:          {_SigNotify, "signal 61"},
	62:          {_SigNotify, "signal 62"},
	63:          {_SigNotify, "signal 63"},
	64:          {_SigNotify, "signal 64"},
	65:          {_SigNotify, "signal 65"},
	66:          {_SigNotify, "signal 66"},
	67:          {_SigNotify, "signal 67"},

	SYS_FCHMODAT               = 5258
	SYS_FACCESSAT              = 5259
	SYS_PSELECT6               = 5260
	SYS_PPOLL                  = 5261
	SYS_UNSHARE                = 5262
	SYS_SPLICE                 = 5263
	SYS_SYNC_FILE_RANGE        = 5264
	SYS_TEE                    = 5265
	SYS_VMSPLICE               = 5266
	SYS_MOVE_PAGES             = 5267
	SYS_SET_ROBUST_LIST        = 5268
	SYS_GET_ROBUST_LIST        = 5269

	SYS_FCHMODAT               = 5258
	SYS_FACCESSAT              = 5259
	SYS_PSELECT6               = 5260
	SYS_PPOLL                  = 5261
	SYS_UNSHARE                = 5262
	SYS_SPLICE                 = 5263
	SYS_SYNC_FILE_RANGE        = 5264
	SYS_TEE                    = 5265
	SYS_VMSPLICE               = 5266
	SYS_MOVE_PAGES             = 5267
	SYS_SET_ROBUST_LIST        = 5268
	SYS_GET_ROBUST_LIST        = 5269

	SYS_TIMER_SETTIME          = 4258
	SYS_TIMER_GETTIME          = 4259
	SYS_TIMER_GETOVERRUN       = 4260
	SYS_TIMER_DELETE           = 4261
	SYS_CLOCK_SETTIME          = 4262
	SYS_CLOCK_GETTIME          = 4263
	SYS_CLOCK_GETRES           = 4264
	SYS_CLOCK_NANOSLEEP        = 4265
	SYS_TGKILL                 = 4266
	SYS_UTIMES                 = 4267
	SYS_MBIND                  = 4268
	SYS_GET_MEMPOLICY          = 4269

	SYS_FCHMODAT                = 5258
	SYS_FACCESSAT               = 5259
	SYS_PSELECT6                = 5260
	SYS_PPOLL                   = 5261
	SYS_UNSHARE                 = 5262
	SYS_SPLICE                  = 5263
	SYS_SYNC_FILE_RANGE         = 5264
	SYS_TEE                     = 5265
	SYS_VMSPLICE                = 5266
	SYS_MOVE_PAGES              = 5267
	SYS_SET_ROBUST_LIST         = 5268
	SYS_GET_ROBUST_LIST         = 5269