1 `shiftL` (1 `shiftL` 20) also fails on JS Backend
Good news! The JS CI successfully caught a bug even before it was merged! For !9552 (closed) I've marked the test as broken.
I haven't diagnosed the bug yet, my hypothesis is that we overflow or have a bug in the bit manip since
Integer on JS backend are two 32 bit machine words.