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