> 137438953482 actually corresponds to the 10 and 32 4-byte values concatenated into one 8-byte value

32<<32|10 might be a bit clearer, then...