2^(1023)*(2-2^-52)