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