Are 64bit floats not precise enough for the backoff timer?