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