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