Lecture 25: The floor function