Ordered field property for zero-sum stochastic games