public double readDouble() {return Double.longBitsToDouble(readLong());}

public double readDouble ( ) { return Double . longBitsToDouble ( readLong ( ) ) ; }
public virtual double ReadDouble(){return delegate1.ReadDouble();}
