Thanks for this link. I can see what's happening now.
These types of pointers are admittedly unusual, but it's the only
quick way I know to load a double variable with a certain bit pattern,
or to convert big/small endian values, etc. I ordinarily don't do these
things, but when I do I 'll keep this aliasing in mind.
Frank Peters