[]
Should write the IEEE double value v (i.e., 64 bits) to the output. Prior to writing, the output should be realigned at the byte level.
void writeDouble(double v)
The value to write to the output