Floor
Integer Functions
Floor[
z
]
Theorems
The Arnold cat map