binary 2^64-3