The approach via infinitesimals is even called "nonstandard analysis".
https://en.wikipedia.org/wiki/Nonstandard_analysis