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