1.600000000000000088818 * 2^(1020-1023)