anchor.diff:    /// mask.
     ///
     /// It is an error if [shiftAmount] is negative.
  +  ///
  +  /// Example:
  +  /// ```dart
  +  /// print((3 << 1).toRadixString(2)); // 0011 -> 0110
  +  /// print((9 << 2).toRadixString(2)); // 1001 -> 100100
  +  /// print((10 << 3).toRadixString(2)); // 1010 -> 1010000
  +  /// ```
     int operator <<(int shiftAmount);
   
     /// Shift the bits of this integer to the right by [shiftAmount].
     ///
     /// Shifting to the right makes the number smaller and drops the least
     /// significant bits, effectively doing an integer division by
  -  ///`pow(2, shiftIndex)`.
  +  /// `pow(2, shiftIndex)`.
     ///
     /// It is an error if [shiftAmount] is negative.
  +  ///
  +  /// Example:
  +  /// ```dart
  +  /// print((3 >> 1).toRadixString(2)); // 0011 -> 0001
  +  /// print((9 >> 2).toRadixString(2)); // 1001 -> 0010
  +  /// print((10 >> 3).toRadixString(2)); // 1010 -> 0001
  +  /// print((-6 >> 2).toRadixString); // 111...1010 -> 111...1110 == -2
  +  /// print((-85 >> 3).toRadixString); // 111...10101011 -> 111...11110101 == -11
  +  /// ```
     int operator >>(int shiftAmount);
   
     /// Bitwise unsigned right shift by [shiftAmount] bits.
  
positive.code: /// operands to 32-bit integers when compiled to JavaScript.
  ///
  /// Classes cannot extend, implement, or mix in `int`.
  abstract class int extends num {
    /// Returns the integer value of the given environment declaration [name].
    ///
  
negative.code:   /// Converts [this] to a string representation in the given [radix].
    ///
    /// In the string representation, lower-case letters are used for digits above
    /// '9', with 'a' being 10 and 'z' being 35.
    ///
    /// The [radix] argument must be an integer in the range 2 to 36.
    ///
    /// Example:
    /// ```dart
    /// // Binary (base 2).
    /// print(12.toRadixString(2)); // 1100
    /// print(31.toRadixString(2)); // 11111
    /// print(2021.toRadixString(2)); // 11111100101
    /// print((-12).toRadixString(2)); // -1100
    /// // Octal (base 8).
    /// print(12.toRadixString(8)); // 14
    /// print(31.toRadixString(8)); // 37
    /// print(2021.toRadixString(8)); // 3745
    /// // Hexadecimal (base 16).
    /// print(12.toRadixString(16)); // c
    /// print(31.toRadixString(16)); // 1f
    /// print(2021.toRadixString(16)); // 7e5
    /// // Base 36.
    /// print((35 * 36 + 1).toRadixString(36)); // z1
    /// ```
    String toRadixString(int radix);
  
    /// Parse [source] as a, possibly signed, integer literal and return its value.
  