Reads an IEEE double precision (i.e., 64 bit) floating-point number from the input. Prior to reading, the input should be realigned at the byte level.
If the end-of file was reached before
/// getting all the necessary data.
///
/// If an I/O error ocurred.
///
///