i1 : precision 3p111 o1 = 111
i2 : precision (RR[x]) o2 = 53
i3 : precision 3 o3 = infinity o3 : InfiniteNumber