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

public final double readDouble ( ) throws IOException { return Double . longBitsToDouble ( readLong ( ) ) ; }
public virtual double readDouble(){throw new System.NotImplementedException();}
