Home

conj floor fp

floorFloor

The floor function returns the next smaller integer, as follows:

a->b
a_u->b_u