Text this: Nonstandard analysis: a practical guide with applications