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