How to represent the floor function using mathematical notation?
4 I suspect that this question can be better articulated as: how can we compute the floor of a given number using real number field operations, rather than by exploiting the printed notation, which