public double readDouble() throws IOException {
  return primitiveTypes.readDouble();
}

public double readDouble ( ) throws IOException { return primitiveTypes . readDouble ( ) ; }
reads a double ( 64 bit ) from the source stream .
