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