Numerical decision procedures with default settings cannot simplify this expression:
Machine-precision numericalization of
IntegerPart can give wrong results:
Use arbitrary-precision evaluation instead:
Because the answer is exact, raising the internal precision does not remove the message:
Symbolic preprocessing of functions containing
IntegerPart can be time-consuming:
As a discontinuous function,
IntegerPart can cause numerical algorithms to converge slowly: