Is there a set theory in which the reals are not a set but the natural numbers are? Is there any known axiomatization of set theory in which the real numbers are not a set, but the natural numbers and other infinite sets do exist?
Such a set theory would have an Axiom of Infinity, but not an Axiom of Power Set. I know that Kripke-Platek set theory has no Axiom of Power Set, but it is not clear to me whether the real numbers exist as a set in this theory or not.
In the type of set theory I am envisioning, the real numbers would exist as a class, as would the class of all subsets of the natural numbers, and they could be equivalent to the class of all ordinals, for example.
One advantage of such a set theory would be that it could admit the Axiom of Choice, and the Well-Ordering Theorem for all sets, without having to admit the well-ordering of the reals or the Banach-Tarski paradox.

I think you can just take ZFC without the power set axiom.
The main thing you'd still want to use it for is constructing a Cartesian product, but that can still be done in smaller steps using Replacement.
And if your metatheory is sufficiently ZFC-like, the set of hereditarily countable sets ought to be a model, ensuring that you can have all of your usual reals (say, as Dedekind cuts) without getting set of all of them itself forced on you through some back door. 
What this won't give you is a guarantee that all proper classes are equivalent -- but if you want, you can add that as an axiom to NBG$-$P, and then to make a model work within the constructible universe and take the set of all hereditarily countable sets, plus all of its subsets. This still gives you all the reals you could want (though perhaps not all the ones you had to begin with).
