Evaluate 2^64