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