# write\_double

void write\_double(int address, double value)