[]
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.
public abstract void writeDouble(double param1)