Actually because of the implied upper bit in the format, it can go to 2^53.