On Tue, May 8, 2018 at 9:19 AM, joe darcy <joe.da...@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
