dedouble

Deerialize a double according to the IEEE 754 floating-point double format bit layout