Fitxer:Real number line.svg