Fix a problem where shifting by 64-bits leads to incorrect results on PPC