2^64 instead of 2**64