Battery chargers, solar battery chargers, power inverters, electric power converters, charge controllers, and electrical power supplies