[mplanchard]

I don’t think so, because that only gets you up to 2x2^32, which is nowhere near halfway to 2^64