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