i1 : random 3.14 o1 = .800526232130241 o1 : RR (of precision 53)
i2 : random 3p200 o2 = 1.76798599653462333839649264564700568823645418711118601206826 o2 : RR (of precision 200)