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