hexadecimal log(2^52)