Robuta

https://functions.wolfram.com/IntegerFunctions/Round/27/01/03/ Nearest integer function: Representations through equivalent functions (subsection 27/01/03) With IntegerPart (4 formulas) nearest integer function representations equivalent functions subsection