i1 : ii o1 = ii o1 : Constant |
i2 : ii+1p100 o2 = 1+ii o2 : CC (of precision 100) |
i3 : numeric ii o3 = ii o3 : CC (of precision 53) |
i4 : numeric_100 ii o4 = ii o4 : CC (of precision 100) |
i5 : +ii o5 = ii o5 : CC (of precision 53) |