Resolved! Stm32H743 ADC 16bit Really ?
The cubemx example for ADC scan of internal channels for 743-eval shows the converted values being multiplied by 4. So is it really 16 bit or 14? I have verified the necessity of multiplying by 4 to get correct readings for VBat.