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