136a137,143
>
> /**
> * Extract the bit string representing a double value.
> */
> inline uint64_t getDoubleBits(double val) {
> return *(uint64_t *)(&val);
> }