real number

We take the real numbers for granted, but what are they really?