anchor.diff:    /// For any integer `x`, `x.gcd(x)` is `x.abs()`.
     ///
     /// If both `this` and `other` is zero, the result is also zero.
  +  ///
  +  /// Example:
  +  /// ```dart
  +  /// print(4.gcd(2)); // 2
  +  /// print(8.gcd(4)); // 4
  +  /// print(10.gcd(12)); // 2
  +  /// print(10.gcd(0)); // 10
  +  /// print((-2).gcd(-3)); // 1
  +  /// ```
     int gcd(int other);
   
     /// Returns true if and only if this integer is even.
  
positive.code:   /// and zero-bits are shifted in as the new most significant bits.
    ///
    /// The [shiftAmount] must be non-negative.
    int operator >>>(int shiftAmount);
  
    /// Returns this integer to the power of [exponent] modulo [modulus].
  
negative.code:   ///
    /// Instead of throwing and immediately catching the [FormatException],
    /// instead use [tryParse] to handle a parsing error.
    ///
    /// Example:
    /// ```dart
    /// var value = int.tryParse(text);
  