-- -*- M2-comint -*- {* hash: 281529604 *} i1 : 256 << 5 o1 = 8192 i2 : 256. << 555 o2 = 3.01916993985723e169 o2 : RR (of precision 53) i3 :
-- -*- M2-comint -*- {* hash: 281529604 *} i1 : 256 << 5 o1 = 8192 i2 : 256. << 555 o2 = 3.01916993985723e169 o2 : RR (of precision 53) i3 :