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