Fix right shift by 64 bits detected on CXX/lex/lex.literal/lex.ext/p4.cpp