☼ Integer Part Function [ x ] OR Floor Function ⌊x⌋ :–
f : R → Z, f (x) = ‘ the greatest integer not greater than x