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.