(2^64 - 1)/63