Find the integer part of a real number:

Find the integer part of a negative real number:

Plot over a subset of the reals:

Iso-curves become full‐dimensional regions for piecewise constant functions:

Fibonacci numbers:

Implement a divide-and-conquer‐type recursion relation:

Find the1000000 digit of the fraction1/99^2 in base10:

Compare withRealDigits functionality:

Find the day of the week in the Gregorian calendar:

Birthday of Leonard Euler:

Compare withDateString:

Implement the Frisch continuous-but-nowhere-differentiable function:

Consider theIntegerPart of the earthquake magnitudes recorded in the US from 1935 to 1989:

The integer parts of the magnitudes recorded on a Richter scale can be modeled with aParetoDistribution:

Compare the histogram of the magnitudes with the fitted distribution:

Find the probability of an earthquake with magnitude at least 6 on the Richter scale:

Find the average magnitude:

Simulate the next 30 earthquakes:

Simplify expressions containingIntegerPart:

Symbolically expand for complex arguments:

IntegerPart is idempotent:

UsePiecewiseExpand to canonicalize:

Reduce equations containingIntegerPart:

Numerical decision procedures with default settings cannot simplify this expression:

UseSimplify to resolve:

Machine‐precision numericalization ofIntegerPart 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 containingIntegerPart can be time consuming:

As a discontinuous function,IntegerPart can cause numerical algorithms to converge slowly:

Build a nondecreasing sequence of integers where each number occurs times [more info]:

Generate the sequence up to 5:

Group the same numbers: