Fix nonce integer overflow on 32 bit systems