read_double

double read_double(int address)