just pushing my work on the greatest integer function (how can there be only one?)