locating reals on a number line