The term {tt (ftruncate $tau$)} denotes the largest integer (as a floating point number) less than the object denoted by $tau$.