Floor
Integer Functions
Floor[
z
]
Identities
Functional identities (3 formulas)