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