[steerablesafe]

Nonstandard analysis is a rigorous framework for working with infinitesimals (and infinitely large numbers).

https://en.wikipedia.org/wiki/Nonstandard_analysis