real number \mathbb{R} real numbers are numbers generatable by a possibly infinite sum of powers of 10.