3.1.4.3 Session-Key Computation

Although ClientChallenge and ServerChallenge are treated normally as byte arrays, ClientChallenge and ServerChallenge are treated as 64-bit integers in little-endian format to set the sum in the following pseudocode. The carry of the most-significant bit is ignored in the sum of the ClientChallenge and ServerChallenge.