파일:1280px-Real_number_line.svg.png