For my part, I don't think we yet have a firm enough theoretical foundation to claim that a rational agent's preferences (or, anticipating a bit, credences) must be representable by real numbers.

I think this is correct. On the other hand, I'm happy take real numbers as a point of departure just to see what we can get.