That is, deriving a memory format from the internal format by eliminating the implicit bit for the referenced example results in a memory image corresponding to 0x3800000020000000 because the fact that implicit bit is 0 cannot be expressed other than for a denormalized number with a biased exponent value of 1 (by encoding said biased exponent value of 1 as an exponent field of 0, as per the IEEE 7