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