JDK 11 RFR of JDK-8202563: BigInteger/BigDecimal not immune to overflow, contrary to spec

[Martin Buchholz]

On Tue, May 8, 2018 at 9:19 AM, joe darcy <joe.darcy at oracle.com> wrote:

>
> Maybe
>
> The unsigned
>   * right shift operator ({@code >>>}) is omitted, as this operation only
> makes sense with a fixed word size.
>
>
> How about
>
> The unsigned right shift operator ({@code >>>}) is omitted since this
> operation only makes sense for a fixed sized word and not for a
> representation conceptually having an infinite number of leading virtual
> sign bits.
>

Oh, now I understand that you are modeling a twos complement number with a
truly infinite number of leading sign bits, which can be shifted right or
left in Hilbert Hotel style.  This is getting even harder to explain well.
I'm OK with what you have now.
https://www.youtube.com/watch?v=Uj3_KqkI9Zo