I actually took a course at UCSD in the winter taught by Nunez about this topic. Very interesting stuff, and I even added the history section to the Wikipedia page on the number line after I learned several interesting history tidbits from the class + readings.
https://en.wikipedia.org/wiki/Number_line