Adds examples and expands explanation for +^. Closes #3177

Author: JJ

doc/Language/operators.pod6

@@ -1147,9 +1147,26 @@ arguments.
 
     multi sub prefix:<+^>(Any --> Int:D)
 
-X<Integer bitwise negation operator>: Coerces the argument to L<Int|/type/Int>
-and does a bitwise negation on the result, assuming
-L<two's complement|https://en.wikipedia.org/wiki/Two%27s_complement>.
+X<Integer bitwise negation operator>: converts the number to binary using as
+many bytes as needed by the number plus one; flips all bits and returns the
+result assuming it is a
+L<two's complement|https://en.wikipedia.org/wiki/Two%27s_complement>
+representation.
+
+=for code
+say +^255; # OUTPUT: «-256␤»
+
+In this case, 255 is 11111111 and would need a single byte. We use the
+representation in bytes needed for this value plus one, converting it to 0000
+ 0000 1111 1111. Bitwise negation turns it into 1111 1111 0000 0000 and this
+ is the representation in two's complement of -256, which is returned.
+
+=for code
+say +^1;        # OUTPUT: «-2␤»
+say +^(-256);   # OUTPUT: «255␤»
+
+Negative numbers are assumed to be represented as two's complements, and thus
+ circle back to the original number.
 
 =head2 prefix C«~^»