dccp ccid-3: Simplify computing and range-checking of t_ipi