Hi all,

It seems that (-1)>>(1<<32) and (-1)>>(1<<64) produces inconsistent results (at least with SWI 8.0.3). This is probably due to the transition between small and large integer representations (we are fixing the same bug in Ciao right now). See log attached.

Cheers,

Jose

```
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.
For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).
?- X is 1 >> (1<<32).
X = 0.
?- X is 1 >> (1<<64).
X = 0.
?- X is 1 >> (1<<128).
X = 0.
?- X is (-1) >> (1<<128).
X = 0.
?- X is (-1) >> (1<<64).
X = 0.
?- X is (-1) >> (1<<32).
X = -1.
?- X is (-1) >> (1<<16).
X = -1.
?-
```