Stav dette: Nonstandard analysis: a practical guide with applications