x >> j
x >> I
i1 : 256 >> 5 o1 = 8
i2 : 256. >> 555 o2 = 2.170662841294021e-165 o2 : RR (of precision 53)