Hello, May I know these specs if possible: What is the min and max PWM frequency using Teensuduino? What is the output current of the GPIO output pin? 40mA? Thanks