double tmp_adc = 0.8;
int adc_1000 = (int)tmp_adc*1000;

然後花了一點時間在想為什麼adc_1000不是800