Restored conversion from two element array to 64-bit integer