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

public double readDouble ( ) { return Double . longBitsToDouble ( readLong ( ) ) ; }
public double ReadDouble(){return BitConverter.Int64BitsToDouble(ReadLong());}
