52 bits in a double