It is, indeed, not differentiation in the sense you're used to. Here it just means a map that satisfies the Leibniz rule, (fg)' = f' g + f g' or D(fg) = D(f) g + f D(g). Maps with this property are usually called "derivations".
Although you might also want to consider that "integration" (really, indefinite integrals, AKA antiderivative) is only defined up to a constant. So why couldn't it be the same for this "number derivative"? Perhaps the "antiderivative" is only defined up to something. It'd be a fun exercise, if you're interested. Can you figure out under what conditions do you get D(a) = D(b)? Put differently, given an integer c, what are the solutions to D(x) = c?