WithStepsAtTheirLimits​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity,​AngouriMath.​Core.​ApproachFrom)

expr with each floor, ceil, round and sgn of
x whose limit from side is a whole number put
in as that number. Each takes only whole values, so where it has a limit it takes
that value on the whole of some interval on that side: the substitution is exact
there, and not an approximation. Without it, floor(x) ^ x at 0+ was read as
the form 0^0 and answered 1 through e ^ (x ln(floor(x))), where on (0, 1) it
is 0 to a positive power, which is 0.