what is the simple definition of realnumbers​