[Qem]

Nice, I didn't know about this book. Did you try the Keisler book too, "Elementary Calculus: An Infinitesimal Approach"? See https://people.math.wisc.edu/~hkeisler/calc.html

[farrelle25]

Thanks for the tip... it seems to mention Robinson's 'hyperreals' too...!