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