I don't see any incrementing beyond 2**53 (or any incrementing at all) in there. I don't know what you're trying to prove, but it doesn't relate to the passage you quoted.