sqrt(2^128) = 2^64