[jackmaney]

> Almost all of the informational input to a Dedekind cut for a randomly chosen real couldn't be written, remembered, or specified in any way by a human being.

Well, yes. The reals are uncountable.