i1 : random 3.14 o1 = 1.93767342544377 o1 : RR (of precision 53)
i2 : random 3p200 o2 = 1.22547794317252702655213291595977396592797965885952123687613 o2 : RR (of precision 200)