I just found about floor and ceiling functions the other day.
Briefly, a floor function,
Hence the floor of π is 3, and its ceiling is 4.
These types of functions are very useful when you've got a model whose natural output is in the real of e.g. the rationals, but whose output you need to be in the realm of the integers for the next step...This tends to happen in models built on combinatoric ideas (even if you didn't know they were combinatoric when you built them).