binary representation of a double