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