Number systems and the foundations of analysis