(2^((2^(23-1))-1))*(2-(2^-488))