I read that the teensy 4.0 consumes 100ma at 600mhz does anyone know how much power the teensy 3.2 @ 72mhz consumes? thanks -jim lee