%P4Sol
% There are 2^64 possible floating point numbers since the floating
% word has 64 bits.

% Note that there is a +0 and -0. These are DIFFERENT floating point
% numbers. In the real number system, +0 and -0 are the same.

% If the 11-bit exponent string is 11111111111, then we have a NAN, or
% a +inf or a -inf. There are 2^53 floating point numbers with 11111111111
% this property

% You were asked to count all floating point numbers except +inf, -inf,
% and the NaN's

% answer = 2^64 - 2^53 = 2^53(2^11 - 1) = 2023*2^53