Discrete orderings in the real spectrum