I can't help but notice, however, that 3.2v is the maximum you'd be able to read if you used a voltage divider with 10k and 22k resistors (two common values) - maybe the board being referenced has that on it to make it easier for people to use the ADC?
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
The ADC pin itself is 0~1v only.
I can't help but notice, however, that 3.2v is the maximum you'd be able to read if you used a voltage divider with 10k and 22k resistors (two common values) - maybe the board being referenced has that on it to make it easier for people to use the ADC?