Lost coins could probably be modeled by exponential decay that asymptotically approaches zero. Again this is irrelevant because divisibility can be patched.