Ratio on Vbat measurement STM32F303
It is described in the datasheet, in the battery voltage monitoring chapter.
The battery voltage can be higher than VDDA used for the ADC so it could be out of range, so battery voltage has a voltage divider that divides the voltage by 2 for ADC measurement.
It means that your ADC measurement is half of actual battery voltage.