Introduce a doubler, and redefine truncated-exponential-backoff in
terms of it.