(1-2^-128)^(2^128)