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