Because of this type of rounding issues, well known in programming, when trimming a number, say X, we use X + epsilon instead.
Mathcad's TOL = 0.001 works as epsilon, and to simplify consider the alternative function
jfloor(X) = floor(abs(X) + TOL)* sign(X)
We keep these sort of things in a...