I'm little enough of a hardware person that I'm just interested for the reasons the OP mentioned; constantly switching between AC and DC and AC and DC is obviously inefficient, and batteries are expensive enough that it's probably cheaper to add a DC circuit than to double or triple the battery capacity.