IntegerPart
Integer Functions
IntegerPart[
z
]
Differentiation
Fractional integro-differentiation (1 formula)