Dividing by 1023 or 1024? The final verdict on analogRead

Or you could simply read the processor's datasheet, where the section on the ADC states:

ADC = (V_IN * 1024) / V_REF

and

"0x000 represents analog ground, and 0x3FF represents the selected reference voltage minus one LSB."