Just to be fair, there are drag racing batteries that come in various voltages of 14v to 18v for powering ignition systems. But I wouldn't use one in a street car.
I'm not sure that is fair or relevant, but you are correct. There are also voltage regulators that could charge those batteries at 16 or 20 volts if a dragster wanted to waste the HP on it.