The most amazing aspect of Non-Standard Analysis is that the "tiny delta-x becomes h and you can then just take the limit by stripping out all the h symbols" approach was how I was first taught "Calculus" in International Baccalaureate (IB) Maths Higher in 1997-1999... an extraordinarily rickety foundation to build future intuition upon.