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