* b}.
   *
   * @throws ArithmeticException if {@code a - b} overflows in signed {@code long} arithmetic
   */
  @InlineMe(replacement = "Math.subtractExact(a, b)")
  public static long checkedSubtract(long a, long b) {
    return Math.subtractExact(a, b);
  }

  /**
   * Returns the product of {@code a} and {@code b}, provided it does not overflow.
   *