log2((2^128)!)