I think that code you quoted validates his assumptions about how "d" values are stored on the implementation. But it doesn't say anything about why he needs that or what the format is. Presumably, he's also manipulating bits directly.
The line you suggest will unpack a float, but doesn't tell me how I arrage the bits to make a float in the first place!
Comment on Re: Re: 52-bit numbers as floating point