[DCCP]: 48-bit sequence number arithmetic