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