log_10 (2^512)