-- -*- M2-comint -*- hash: 11415938284103969771

i1 : 4.

o1 = 4

o1 : RR (of precision 53)

i2 : ring 4.

o2 = RR
       53

o2 : RealField

i3 : parent ring 4.

o3 = RR
       *

o3 : Type

i4 : RR_*

o4 = RR
       *

o4 : Type

i5 : 
