>>16815615
I can forgive not having studied the surreals, but have you seriously never seen a dedekind cut in standard analysis?