Have I interpreted the manuals correctly that the Teensy 4.0 has a 12 bit ADC but that the DAC resolution is only 6 bit?