Power supplies with 32 VDC output voltage