return input.readDouble();
} catch (EOFException e) {
throw new EndOfStoreException(
"End of stream was reached while attempting to read a double from the store.", e);
} catch (IOException e) {
throw new OsmosisRuntimeException(
"Unable to read a double from the store.", e);
}
}