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

public final double readDouble ( ) throws java . io . IOException { return Double . longBitsToDouble ( readLong ( ) ) ; }
see the general contract of the readdouble method of datainput . bytes for this operation are read from the contained input stream .
