Real numbers and the number line