public final void writeDouble(double val) throws IOException {writeLong(Double.doubleToLongBits(val));}

public final void writeDouble ( double val ) throws IOException { writeLong ( Double . doubleToLongBits ( val ) ) ; }
public virtual void writeDouble(double val){throw new System.NotImplementedException();}
