With solar, alternator, and a battery charger, they come in 24-volt too.
They make 12to 24-volt DC to DC charges for alternator charging. Victron has a good one 12 or 24-volt self-sensing.
Buck converters are cheap. I go with adjustable, and yes, you can run slides. I've seen bucks at 90 amps...