natural-number-line.tex