In fact, the formalization of calculus (and in particular, continuity and differentiability via limits) came about because people had different intuition about

In fact, the formalization of calculus (and in particular, continuity and differentiability via limits) came about because people had different intuition about “continuous” functions. I would say the implications of a continuum versus a dense cloud of rationals is incredibly unintuitive.