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