Power Module ADC

I went through the schematics and the changes in the PXF for the ADC side. We expect 5 V at the DF13 pins, right? If so, that'll put the voltage at BATT_CURRENT_SENSE and BATT_VOLTAGE_SENSE at 5/3 = 1.6 V which gets into the 0-1.8V range of the BBB ADCs. 

Can you confirm this reasoning?
