Title: From Counting Numbers to Complete Ordered Fields