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