Real numbers and number lines