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