x << j
I << j
i1 : 256 << 5 o1 = 8192
i2 : 256. << 555 o2 = 3.019169939857233e169 o2 : RR (of precision 53)