Wittgenstein and the Real Numbers