Микроконтроллеры

На какое число нужно делить - смотреть нужно в DS (обычно, для 12-разрядного АЦП - это, действительно 4096). Если Vref и Ku - константы, то и соответствующие переменные под них заводить не стоило: тогда, действительно, константу 4095.0*Vref/Ku посчитает компилятор. А, если - нет, то - нет.