If we're going the hyperreal route, I quite like Goldblatt's GTM Lectures on the Hyperreals. You have to augment it with a paper or two if you want to work with other nonstandard objects, but when I was doing my graduate work it was the resource I kept going back to for clarity.
This looks like the most in-depth resource on the topic that I've seen so far; thanks for adding it! One of the reasons that I'm partial to the hyperreals is because it's such a natural thing, in the context of mathematical history, to extend the number system when that system isn't expressive enough to solve the problems we want to solve. The limit-based approach seems clumsy in comparison.