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