Cppcheck complains "Shifting 32-bit value by 64 bits is undefined behaviour [shiftTooManyBits]" on shifting 128-bit value right 64 bits.
Attached is header file with quite obvious code and error in question.