i1 : t1 = cpuTime() o1 = 1.845059628 o1 : RR (of precision 53)
i2 : for i from 0 to 1000000 do 223131321321*324234324324;
i3 : t2 = cpuTime() o3 = 3.641215156 o3 : RR (of precision 53)
i4 : t2-t1 o4 = 1.796155528 o4 : RR (of precision 53)