[math-fun] greatest integer