Rasberry PI PICO (RP2040) продолжение темы

Кстати АЦП у pi pico же 12бит, должен выдавать 4095 а не 1023. Чё за магия?