public void writeDouble(double value) throws IOException {
  checkWritePrimitiveTypes();
  primitiveTypes.writeDouble(value);
}

public void writeDouble ( double value ) throws IOException { checkWritePrimitiveTypes ( ) ; primitiveTypes . writeDouble ( value ) ; }
writes a double ( 64 bit ) to the target stream .
