The term {tt (rationalize $tau$)} denotes the rational representation of the object denoted by $tau$.