i1 : cpuTime() o1 = .469037 o1 : RR (of precision 27)
i2 : for i from 0 to 1000000 do 223131321321*324234324324;
i3 : cpuTime() o3 = 1.137935 o3 : RR (of precision 27)