(2^((2^(31-1))-1))*(2-(2^-2016))