File:Real numbers chart.svg