read_double function

read double from binary (double-precision, 64 bits)