The hyperreals and surreals are actually isomorphic under a mild strengthening of the axiom of choice (NBG).
https://mathoverflow.net/questions/91646/surreal-numbers-vs-...
See Ehrlich’s answer.