Robuta

https://functions.wolfram.com/IntegerFunctions/Quotient/20/01/02/0001/ Integer part of the quotient: Differentiation (formula 04.07.20.0003) integer part of the quotient differentiation formula https://functions.wolfram.com/IntegerFunctions/IntegerPart/19/05/ Integer part: Complex characteristics (subsection 19/05) Conjugate value (2 formulas) integer part complex characteristics subsection