ln(2^1023·(1 + (1 − 2^−52))) in base 2