Investigate: Does subtraction of a checkpointed value mean rounding might not favor protocol in certain scenarios

[apbendi]

At this line, we see that one checkpointed value, which may have been truncated due to a division, is subtracted from another. This might mean rounding could favor the user, rather than the protocol. But the scale factor might protect us from this. Further investigation is needed to see if a specific scenario could be created wherein rounding might favor the user instead of the contract.