IntegerPart
Integer Functions
IntegerPart[
z
]
Transformations
Addition formulas