public double readR8() throws java.io.IOException {
  return Double.longBitsToDouble(readDDWORD());
}

public double readR8 ( ) throws java . io . IOException { return Double . longBitsToDouble ( readDDWORD ( ) ) ; }
reads an r8 from the file and returns it in a double . advances the file pointer by 8 .
